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

• 1991
• 
  Sergei A. Abramov, K. Yu. Kvashenko:
  Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients. ISSAC 1991: 267-270
• 
  Ilkizar V. Amirkhanov, E. P. Zhidkov, I. E. Zhidkova:
  The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation. ISSAC 1991: 452-453
• 
  Joachim Apel, Uwe Klaus:
  FELIX - An Assistant for Alebraists. ISSAC 1991: 382-389
• 
  A. V. Astrelin:
  A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator. ISSAC 1991: 265-266
• 
  László Babai, Gene Cooperman, Larry Finkelstein, Ákos Seress:
  Nearly Linear Time Algorithms for Permutation Groups with a Small Base. ISSAC 1991: 200-209
• 
  Jörgen Backelin, Ralf Fröberg:
  How We Proved That There Are Exactly 924 Cyclic 7-Roots. ISSAC 1991: 103-111
• 
  Thomas Becker, Volker Weispfenning:
  The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases. ISSAC 1991: 64-69
• 
  Alexander A. Bel'kov, Alexander V. Lanyov:
  REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model. ISSAC 1991: 454-455
• 
  R. Berndt, A. Lock, G. Witte, Ch. Wöll:
  Application of Computer Algebra to Surface Lattice Dynamics. ISSAC 1991: 433-438
• 
  Thomas Beth, Willi Geiselmann, F. Meyer:
  Finding (good) Normal Bases in Finite Fields. ISSAC 1991: 173-178
• 
  Wieb Bosma, Michael Pohst:
  Computations with Finitely Generated Modules over Dedekind Rings. ISSAC 1991: 151-156
• 
  Manuel Bronstein:
  The Risch Differential equation on an Algebraic Curve. ISSAC 1991: 241-246
• 
  Johannes A. Buchmann, Volker Müller:
  Computing the Number of Points of Elliptic Curves Over Finite Fields. ISSAC 1991: 179-182
• 
  Reinhard Bündgen:
  Completion of Integral Polynomials by AC-Term Completion. ISSAC 1991: 70-78
• 
  William H. Burge:
  Scratchpad and the Rogers-Ramanujan Identities. ISSAC 1991: 189-190
• 
  Gregory Butler, Sridhar S. Iyer, Susan H. Ley:
  A Deductive Database of the Groups of Order Dividing 128. ISSAC 1991: 210-218
• 
  John F. Canny, J. Maurice Rojas:
  An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System. ISSAC 1991: 96-102
• 
  Guoting Chen, Jean Della Dora, Laurent Stolovitch:
  Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations). ISSAC 1991: 281-288
• 
  Ian Cohen, Karl-Erik Thylwe:
  Obtaining Exact Steady-state Responses in Driven Undamped Oscillators. ISSAC 1991: 319-320
• 
  Peter E. Crouch, Robert L. Grossman, Richard G. Larson:
  Computations Involving Differential Operators and Their Actions on Functions. ISSAC 1991: 301-307
• 
  Stephen R. Czapor:
  A Heuristic Selection Strategy for Lexicographic Gröbner Bases? ISSAC 1991: 39-48
• 
  James H. Davenport, Patrizia M. Gianni, Barry M. Trager:
  Scratchpad's View of Algebra II: A Categorical View of Factorization. ISSAC 1991: 32-38
• 
  Angel Díaz, Erich L. Kaltofen, Kurt Schmitz, Thomas Valente:
  DSC: A System for Distributed Symbolic Computation. ISSAC 1991: 323-332
• 
  I. A. Faradzev, Mikhail H. Klin:
  For Computations with Coherent Configurations. ISSAC 1991: 219-223
• 
  Richard J. Fateman:
  Canonical Representations in Lisp and Applications to Computer Algebra systems. ISSAC 1991: 360-369
• 
  István Gaál, Attila Pethö, Michael Pohst:
  On the Resolution of Index Form Equations. ISSAC 1991: 185-186
• 
  Victor G. Ganzha, B. Yu. Scobelev, Evgenii V. Vorozhtsov:
  Stability Analysis of Difference Schemes by the Catastrophe Theory Methods and by Means of Computer Algebra. ISSAC 1991: 427-428
• 
  Xiao-Shan Gao, Shang-Ching Chou:
  Computations with Parametric Equations. ISSAC 1991: 122-127
• 
  Karin Gatermann:
  Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems. ISSAC 1991: 431-432
• 
  R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler:
  CASA: A Computer Algebra Package for Constructive Algebraic Geometry. ISSAC 1991: 403-410

skipping 50 more matches