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

• 1995
• 
  Sergei A. Abramov:
  Rational Solutions of linear Difference and q-Difference Equations with Polynomial Coefficients. ISSAC 1995: 285-289
• 
  Sergei A. Abramov:
  Indefinite Sums of Rational Functions. ISSAC 1995: 303-308
• 
  Sergei A. Abramov, Manuel Bronstein, Marko Petkovsek:
  On Polynomial Solutions of Linear Operator Equations. ISSAC 1995: 290-296
• 
  Ron Avitzur, Olaf Bachmann, Norbert Kajler:
  From Honest to Intelligent Plotting. ISSAC 1995: 32-41
• 
  Clemens Ballarin, Karsten Homann, Jacques Calmet:
  Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC 1995: 150-157
• 
  Moulay A. Barkatou:
  A Rational Version of Moser's Algorithm. ISSAC 1995: 297-302
• 
  François Boulier, Daniel Lazard, François Ollivier, Michel Petitot:
  Representation for the Radical of a Finitely Generated Differential Ideal. ISSAC 1995: 158-166
• 
  Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt:
  On the Implementation of Dynamic Evaluation. ISSAC 1995: 77-84
• 
  Claudine Chaffy:
  The Analytic Continuation Process: From Computer Algebra to Numerical Analysis. ISSAC 1995: 216-222
• 
  Gene Cooperman:
  STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems. ISSAC 1995: 126-132
• 
  Gene Cooperman, Larry Finkelstein, Michael Tselman:
  Computing with Matrix Groups Using Permutation Representations. ISSAC 1995: 259-264
• 
  Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt:
  The Singular Value Decomposition for Polynomial Systems. ISSAC 1995: 195-207
• 
  Mario Daberkow, Michael Pohst:
  Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields. ISSAC 1995: 68-76
• 
  Angel Díaz, Erich L. Kaltofen:
  On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations. ISSAC 1995: 232-239
• 
  M. J. Doffou, Robert L. Grossman:
  The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees. ISSAC 1995: 26-31
• 
  T. H. Einwohner, Richard J. Fateman:
  Searching Techniques for Integral Tables. ISSAC 1995: 133-139
• 
  Mark Giesbrecht:
  Fast Computation of the Smith Normal Form of an Integer Matrix. ISSAC 1995: 110-118
• 
  Laureano González-Vega, Guadalupe Trujillo:
  Implicitization of Parametric Curves and Surfaces by Using Symmetric Functions. ISSAC 1995: 180-186
• 
  Dima Grigoriev, Yagati N. Lakshman:
  Algorithms for Computing Sparse Shifts for Multivariate Polynomials. ISSAC 1995: 96-103
• 
  Mark van Hoeij:
  An Algorithm for Computing the Weierstrass Normal Form. ISSAC 1995: 90-95
• 
  Deepak Kapur, Tushar Saxena:
  Comparison of Various Multivariate Resultant Formulations. ISSAC 1995: 187-194
• 
  Shankar Krishnan, Dinesh Manocha:
  Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets. ISSAC 1995: 59-67
• 
  Hsin-Chao Liao, Richard J. Fateman:
  Evaluation of the Heuristic Polynomial GCD. ISSAC 1995: 240-247
• 
  Ian G. Lisle, Gregory J. Reid, A. Boulton:
  Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. ISSAC 1995: 1-6
• 
  Bohdan S. Majewski, George Havas:
  A Solution to the Extended GCD Problem. ISSAC 1995: 248-253
• 
  Maria Grazia Marinari, Teo Mora, H. Michael Möller:
  Gröbner Duality and Multiplicities in Polynomial System Solving. ISSAC 1995: 167-179
• 
  Prabhav Morje:
  A Nearly Linear Algorithm for Sylow Subgroups in Small-Base Groups. ISSAC 1995: 270-277
• 
  Torsten Minkwitz:
  On the Computation of Ordinary Irreducible Representations of Finite Groups. ISSAC 1995: 278-284
• 
  Trân Quoc Nam:
  A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections. ISSAC 1995: 51-58
• 
  M. P. Quéré, Gilles Villard:
  An Algorithm for the Reduction of Linear DAE. ISSAC 1995: 223-231

skipping 11 more matches