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

• 1989
• 
  Tryg A. Ager, R. A. Ravaglia, Sam Dooley:
  Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring. Computers and Mathematics 1989: 215-227
• 
  Alkiviadis G. Akritas:
  Exact Algorithms for the Matrix-Triangularization Subresultant PRS Method. Computers and Mathematics 1989: 145-155
• 
  Jamil Baddoura:
  Integration in Finite Terms and Simplification with Dilogarithms: A Progress Report. Computers and Mathematics 1989: 166-171
• 
  Michael J. Beeson:
  Logic and Computation in MATHPERT: An Expert System for Learning Mathematics. Computers and Mathematics 1989: 202-214
• 
  François Bergeron:
  A Story About Computing with Roots of Unity. Computers and Mathematics 1989: 140-144
• 
  Gene Cooperman, Larry Finkelstein, Paul Walton Purdom Jr.:
  Fast Group Membership Using a Strong Generating Test for Permutation Groups. Computers and Mathematics 1989: 27-36
• 
  Peter J. Costa, Ruth Hampton Westlake:
  An Example of Computer Enhanced Analysis. Computers and Mathematics 1989: 100-108
• 
  Dominique Duval:
  Simultaneous Computations in Fields of Different Characteristics. Computers and Mathematics 1989: 321-326
• 
  Michael R. Fellows, Nancy G. Kinnersley, Michael A. Langston:
  Finite-Basis Theorems and a Computation-Integrated Approach to Obstruction Set Isolation. Computers and Mathematics 1989: 37-45
• 
  Wallace Feurzeig, Paul Horwitz, Albert Boulanger:
  Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems. Computers and Mathematics 1989: 240-249
• 
  Emilio Freire, Estanislao Gamero, Enrique Ponce:
  An Algorithm for Symbolic Computation of Hopf Bifurcation. Computers and Mathematics 1989: 109-118
• 
  André Galligo, Carlo Traverso:
  Practical Determination of the Dimension of an Algebraic Variety. Computers and Mathematics 1989: 46-52
• 
  Victor G. Ganzha, Richard Liska:
  Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes. Computers and Mathematics 1989: 119-129
• 
  Keith O. Geddes, Tony C. Scott:
  Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms. Computers and Mathematics 1989: 192-201
• 
  Vladimir P. Gerdt, N. A. Kostov:
  Computer Algebra in the Theory of Ordinary Differential Equations of Halphen Type. Computers and Mathematics 1989: 279-288
• 
  Craig Graci, Jack Narayan, Randy Odendahl:
  Bunny Numerics. Computers and Mathematics 1989: 228-239
• 
  Abramo Hefez, Anders Thorup:
  Symmetric Matrices with Alternating Blocks. Computers and Mathematics 1989: 66-72
• 
  Martin Hildebrand, Jeffrey R. Weeks:
  A Computer Generated Census of Cusped Hyperbolic 3-Manifolds. Computers and Mathematics 1989: 53-59
• 
  H. James Hoover:
  Why Integration is Hard. Computers and Mathematics 1989: 172-181
• 
  John K. Johnstone:
  Working with ruled surfaces in solid modeling. Computers and Mathematics 1989: 260-268
• 
  Deepak Kapur, Klaus Madlener:
  A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra. Computers and Mathematics 1989: 1-11
• 
  D. Leites, G. Post:
  Cohomology to Compute. Computers and Mathematics 1989: 73-81
• 
  Harry S. D. Mills, Micheal H. Vernon:
  Using MACSyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian Manifold. Computers and Mathematics 1989: 269-278
• 
  D. L. Rector:
  Semantics in Algebraic Computation. Computers and Mathematics 1989: 299-307
• 
  Neil W. Rickert:
  Efficient Reduction of Quadratic Forms. Computers and Mathematics 1989: 135-139
• 
  Daniel Rockrmore:
  Computation of Fourier Transforms on the Symmetric Group. Computers and Mathematics 1989: 156-165
• 
  Takis Sakkalis:
  Signs of Algebraic Numbers. Computers and Mathematics 1989: 130-134
• 
  Dominic Y. Savio, Edmund A. Lamagna, Shing-Min Liu:
  Summation of Harmonic Numbers. Computers and Mathematics 1989: 12-20
• 
  Michael F. Singer:
  Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. Computers and Mathematics 1989: 182-191
• 
  Nicholas Strauss:
  Algorithm and Implementation for Computation of Jordan Form over A[x 1, ..., x m ]. Computers and Mathematics 1989: 21-26

skipping 7 more matches