• 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 28 matches

• 1987
• 
  S. Bandyopadhyay, John S. Devitt:
  SIS - A Symbolic Information Management System. J. Symb. Comput. 4(3): 397-408 (1987)
• 
  W. A. Beyer, L. R. Fawcett, R. Daniel Mauldin, Blair K. Swartz:
  The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically. J. Symb. Comput. 4(3): 381-390 (1987)
• 
  R. Böffgen, M. A. Reichert:
  Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q. J. Symb. Comput. 4(1): 3-10 (1987)
• 
  Johannes Buchmann, Hugh C. Williams:
  On Principal Ideal Testing in Algebraic Number Fields. J. Symb. Comput. 4(1): 11-19 (1987)
• 
  Wolfram Büttner, Helmut Simonis:
  Embedding Boolean Expressions into Logic Programming. J. Symb. Comput. 4(2): 191-205 (1987)
• 
  L. Cerlienco, Maurice Mignotte, F. Piras:
  Computing the Measure of a Polynomial. J. Symb. Comput. 4(1): 21-33 (1987)
• 
  Harvey Cohn, Jesse Ira Deutsch:
  Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II. J. Symb. Comput. 4(1): 35-40 (1987)
• 
  Carsten Eckhardt:
  Computation of Class Numbers by an Analytic Method. J. Symb. Comput. 4(1): 41-52 (1987)
• 
  Isaac E. Elishakoff, Brian Couch:
  Application of Symbolic Algebra to the Instability of a Nonconservative System. J. Symb. Comput. 4(3): 391-396 (1987)
• 
  H. G. Folz, Horst Günter Zimmer:
  What is the Rank of the Demjanenko Matrix? J. Symb. Comput. 4(1): 53-67 (1987)
• 
  David J. Ford:
  The Construction of Maximal Orders Over a Dedekind Domain. J. Symb. Comput. 4(1): 69-75 (1987)
• 
  Jean H. Gallier:
  Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations. J. Symb. Comput. 4(2): 233-254 (1987)
• 
  Joachim von zur Gathen:
  Feasible Arithmetic Computations: Valiant's Hypothesis. J. Symb. Comput. 4(2): 137-172 (1987)
• 
  Jacek Gibert:
  Functional Programming with Combinators. J. Symb. Comput. 4(3): 269-293 (1987)
• 
  Aziz Hilali:
  On the Algebraic and Differential Newton-Puiseux Polygons. J. Symb. Comput. 4(3): 335-349 (1987)
• 
  Erich L. Kaltofen:
  Deterministic Irreducibility Testing of Polynomials over Large Finite Fields. J. Symb. Comput. 4(1): 77-82 (1987)
• 
  Stéphane Kaplan:
  Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. J. Symb. Comput. 4(3): 295-334 (1987)
• 
  Gunter Malle:
  Polynomials for Primitive Nonsolvable Permutation Groups of Degree d ≤ 15. J. Symb. Comput. 4(1): 83-92 (1987)
• 
  B. Heinrich Matzat, Andreas Zeh-Marschke:
  Polynome mit der Galoisgruppe M_11 über Q. J. Symb. Comput. 4(1): 93-97 (1987)
• 
  Eckart Maus:
  Computation of Integral Bases in Certain S_n Extensions of Q. J. Symb. Comput. 4(1): 99-102 (1987)
• 
  Neil V. Murray, Erik Rosenthal:
  Theory Links: Applications to Automated Theorem Proving. J. Symb. Comput. 4(2): 173-190 (1987)
• 
  Robert Paige, Fritz Henglein:
  Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. J. Symb. Comput. 4(2): 207-232 (1987)
• 
  Attila Pethö:
  On the Resolution of Thue Inequalities. J. Symb. Comput. 4(1): 103-109 (1987)
• 
  Wilhelm Plesken:
  Towards a Soluble Quotient Algorithm. J. Symb. Comput. 4(1): 111-122 (1987)
• 
  Michael Pohst:
  A Modification of the LLL Reduction Algorithm. J. Symb. Comput. 4(1): 123-127 (1987)
• 
  Gordon F. Royle:
  The Transitive Groups of Degree Twelve. J. Symb. Comput. 4(2): 255-268 (1987)
• 
  Sabine Stifter:
  A Generalization of Reduction Rings. J. Symb. Comput. 4(3): 351-364 (1987)
• 
  Douglas A. Young, Paul S. Wang:
  GI/S: A Graphical User Interface For Symbolic Computation Systems. J. Symb. Comput. 4(3): 365-380 (1987)