• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 73 matches

• 1971
• 
  Robert H. Anderson:
  A comment on the recognition of hand-printed two-dimensional mathematical expressions. SYMSAC 1971: 100-101
• 
  David Barton, John P. Fitch:
  General Relativity and the application of algebraic manipulative systems. SYMSAC 1971: 343-348
• 
  H. A. Bayard, C. T. Browne, L. N. Gross, Edward C. Haines:
  The treet time sharing system. SYMSAC 1971: 261-267
• 
  Elwyn R. Berlekamp:
  Factoring polynomials over large finite fields. SYMSAC 1971: 223
• 
  Morton I. Bernstein:
  Computer input/output of two-dimensional notations. SYMSAC 1971: 102-103
• 
  Stephen R. Bourne, J. R. Horton:
  The design of the Cambridge algebra system. SYMSAC 1971: 134-143
• 
  William S. Brown:
  On Euclid's algorithm and the computation of polynomial greatest common divisors. SYMSAC 1971: 195-211
• 
  William H. Burge:
  Some examples of the use of function-producing functions. SYMSAC 1971: 238-241
• 
  N. Burgoyne, C. Williamson:
  Some computations involving simple Lie algebras. SYMSAC 1971: 162-171
• 
  Stanley Cabay:
  Exact solution of linear equations. SYMSAC 1971: 392-398
• 
  John Cannon:
  On the construction of general purpose programs for studying finite groups. SYMSAC 1971: 22
• 
  John Cannon, Lucien A. Dimino:
  The design of a language for the development of group theoretic programs. SYMSAC 1971: 158
• 
  N. Chepurniy:
  Evaluation of high-order polynomial triangular finite elements using FORMAC. SYMSAC 1971: 365-371
• 
  Carlos Christensen:
  An introduction to AMBIT/L, a diagrammatic language for list processing. SYMSAC 1971: 248-260
• 
  Carlos Christensen, Michael Karr:
  IAM, a system for interactive algebraic manipulation. SYMSAC 1971: 115-127
• 
  Jacques Cohen, Ann Rubin:
  An interactive system for proving theorems in the predicate calculus. SYMSAC 1971: 268-280
• 
  George E. Collins:
  The SAC-1 system: An introduction and survey. SYMSAC 1971: 144-152
• 
  George E. Collins:
  The calculation of multivariate polynomial resultants. SYMSAC 1971: 212-222
• 
  André Deprit, Jacques Henrard, Arnold R. M. Rom:
  Lunar ephemeris: De Launay's theory revisited. SYMSAC 1971: 342
• 
  Lucien A. Dimino:
  A graphical approach to coset enumeration. SYMSAC 1971: 76
• 
  John D. Dixon:
  Permutation representations and the subgroup lattice. SYMSAC 1971: 159-161
• 
  Carl Engelman:
  The legacy of MATHLAB 68. SYMSAC 1971: 29-41
• 
  Richard J. Fateman:
  The user-level semantic matching capability in MACSYMA. SYMSAC 1971: 311-323
• 
  Robert R. Fenichel:
  List-tracing in systems allowing multiple cell-types. SYMSAC 1971: 242-247
• 
  John R. Gabriel:
  Numerical methods for reduction of group representations. SYMSAC 1971: 180-182
• 
  James H. Griesmer, Richard D. Jenks:
  SCRATCHPAD/1: An interactive facility for symbolic mathematics. SYMSAC 1971: 42-58
• 
  John Grover, Lawrence A. Rowe, Darrell Wilson:
  Applications of coset enumeration. SYMSAC 1971: 183-187
• 
  Andrew D. Hall Jr.:
  The ALTRAN system for rational function manipulation - a survey. SYMSAC 1971: 153-157
• 
  Anthony C. Hearn:
  Applications of symbol manipulation in theoretical physics. SYMSAC 1971: 17-21
• 
  Anthony C. Hearn:
  REDUCE 2: A system and language for algebraic manipulation. SYMSAC 1971: 128-133

skipping 43 more matches