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

• 1989
• 
  James H. Davenport:
  EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Lecture Notes in Computer Science 378, Springer 1989, ISBN 3-540-51517-8 [contents]
• 1987
• 
  John A. Abbott:
  Integration: Solving the Risch differential equation. EUROCAL 1987: 465-467
• 
  John A. Abbott, James H. Davenport:
  Polynomial factorization: An exploration of Lenstra's algorithm. EUROCAL 1987: 391-402
• 
  Sergei A. Abramov:
  Some algorithms of rational function algebra. EUROCAL 1987: 45-47
• 
  Joachim Apel, Wolfgang Lassner:
  Computation and simplification in Lie fields. EUROCAL 1987: 468-478
• 
  Matthias Baaz, Alexander Leitsch:
  Strong splitting rules in automated theorem proving. EUROCAL 1987: 424-425
• 
  Leo Bachmair, Nachum Dershowitz:
  A critical pair criterion for completion modulo a congruence. EUROCAL 1987: 452-453
• 
  R. Böffgen, M. A. Reichert:
  The computer algebra system SIMATH. EUROCAL 1987: 48-49
• 
  Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis:
  Applications of computer algebra in solid modelling. EUROCAL 1987: 244-245
• 
  Fred Brackx, H. Serras:
  Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation. EUROCAL 1987: 208-215
• 
  Russell J. Bradford:
  Hermite normal forms for integer matrices. EUROCAL 1987: 315-316
• 
  Manuel Bronstein:
  An algorithm for the integration of elementary functions. EUROCAL 1987: 491-497
• 
  Johannes Buchmann, Michael Pohst:
  Computing a lattice basis from a system of generating vectors. EUROCAL 1987: 54-63
• 
  William H. Burge, Stephen M. Watt:
  Infinite structures in SCRATCHPAD II. EUROCAL 1987: 138-148
• 
  Robert G. Cowell, Francis J. Wright:
  CATFACT: Computer algebraic tools for applications of catastrophe theory. EUROCAL 1987: 71-80
• 
  Reiner Creutzburg, Manfred Tasche:
  Number-theoretic transforms of prescribed length. EUROCAL 1987: 161-162
• 
  Stephen R. Czapor:
  Solving algebraic equations via Buchberger's algorithm. EUROCAL 1987: 260-269
• 
  L. S. Dulyan:
  The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system. EUROCAL 1987: 172-173
• 
  Vitali A. Eltekov, Vladimir B. Shikalov:
  The methods for symbolic evaluation of determinants and their realization in the planner-analytic system. EUROCAL 1987: 216-222
• 
  R. N. Fedorova, Vladimir P. Gerdt, N. N. Govorun, V. P. Shirikov:
  Computer algebra in physical research of Joint Institute for Nuclear Research. EUROCAL 1987: 1-10
• 
  R. N. Fedorova, Vladimir V. Kornyak:
  Computer algebra application for determining local symmetries of differential equations. EUROCAL 1987: 174-175
• 
  Alois Ferscha:
  A matrix-approach for proving inequalities. EUROCAL 1987: 403-411
• 
  Thomas M. Fischer:
  Towards a refined classification of geometric search and computation problems. EUROCAL 1987: 426-437
• 
  John P. Fitch, Richard G. Hall:
  Symbolic computation and the finite element method. EUROCAL 1987: 95-96
• 
  Tatiana Gateva-Ivanova:
  Algorithmic determination of the Jacobson radical of monomial algebras. EUROCAL 1987: 355-364
• 
  Vladimir P. Gerdt, N. A. Kostov, Z. T. Kostova:
  Computer algebra and computation of Puiseux expansions of algebraic functions. EUROCAL 1987: 206-207
• 
  Vladimir P. Gerdt, A. B. Shabat, S. I. Svinolupov, A. Yu. Zharkov:
  Computer algebra applications for investigating integrability of nonlinear evolution systems. EUROCAL 1987: 81-92
• 
  Vladimir P. Gerdt, A. Yu. Zharkov:
  Computer classification of integrable seventh order MKdV-like equations. EUROCAL 1987: 93-94
• 
  Patrizia M. Gianni:
  Properties of Gröbner bases under specializations. EUROCAL 1987: 293-297
• 
  David M. Gillies, Bruce W. Char:
  Practical aspects of symbolic integration over Q(x). EUROCAL 1987: 463-464

skipping 244 more matches