• 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

• 1983
• 
  Dennis S. Arnon, Scott F. Smith:
  Towards mechanical solution of the Kahan Ellipse Problem 1. EUROCAL 1983: 36-44
• 
  Bruno Buchberger:
  A note on the complexity of constructing Gröbner-Bases. EUROCAL 1983: 137-145
• 
  Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet:
  The design of maple: A compact, portable and powerful computer algebra system. EUROCAL 1983: 101-115
• 
  James H. Davenport:
  Integration - What do we want from the theory? EUROCAL 1983: 2-11
• 
  James H. Davenport:
  Factorization of sparse polynominals. EUROCAL 1983: 214-224
• 
  U. Fincke, Michael Pohst:
  A procedure for determining algebraic integers of given norm. EUROCAL 1983: 194-202
• 
  John P. Fitch:
  Implementing REDUCE on a micro-computer. EUROCAL 1983: 128-136
• 
  Akio Furukawa, Tateaki Sasaki:
  Multi polynominal remainder sequence and its application to linear diophantine equations. EUROCAL 1983: 24-35
• 
  Francesco Gardin, John A. Campbell:
  A knowledge-based approach to user-friendliness in symbolic computing. EUROCAL 1983: 267-274
• 
  Aziz Hilali:
  Characterization of a linear differential system with a regular singularity. EUROCAL 1983: 68-77
• 
  J. A. van Hulzen:
  Code optimization of multivariate polynominal schemes: A pragmatic approach. EUROCAL 1983: 286-300
• 
  Erich L. Kaltofen:
  On the complexity of finding short vectors in integer lattices. EUROCAL 1983: 236-244
• 
  Françoise Lamnabhi-Lagarrigue, M. Lamnabhi:
  Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations. EUROCAL 1983: 55-67
• 
  Daniel Lazard:
  Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations. EUROCAL 1983: 146-156
• 
  Arjen K. Lenstra:
  Factoring polynominals over algebraic number fields. EUROCAL 1983: 245-254
• 
  Jed Marti, John P. Fitch:
  The Bath concurrent LISP machine. EUROCAL 1983: 78-90
• 
  Ferdinando Mora, H. Michael Möller:
  The computation of the Hilbert function. EUROCAL 1983: 157-167
• 
  Julian A. Padget:
  The ecology of LISP or the case for the preservation of the environment. EUROCAL 1983: 91-100
• 
  Michael Pohst:
  Computation of integral solutions of a special type of systems of quadratic equations. EUROCAL 1983: 203-213
• 
  Monique Rice:
  The construction of a complete minimal set of contextual normal forms. EUROCAL 1983: 255-266
• 
  Heinrich Rolletschek:
  The Euclidean algorithm for Gaussian integers. EUROCAL 1983: 12-23
• 
  Fritz Schwarz:
  Automatically determining symmetries of ordinary differential equations. EUROCAL 1983: 45-54
• 
  J. Smit:
  Computer algebra and VLSI, prospects for cross fertilization. EUROCAL 1983: 275-285
• 
  Herbert Stoyan:
  LISP compilation viewed as provable semantics preserving program transformation. EUROCAL 1983: 116-127
• 
  Paul S. Wang:
  Early detection of true factors in univariate polynominal factorization. EUROCAL 1983: 225-235
• 
  Franz Winkler:
  An algorithm for constructing detaching bases in the ring of polynominals over a field. EUROCAL 1983: 168-179
• 
  Horst Günter Zimmer:
  On the problem of Beha Eddin Amuli and the computation of height functions. EUROCAL 1983: 180-193
• 
  J. A. van Hulzen:
  Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings. Lecture Notes in Computer Science 162, Springer 1983, ISBN 3-540-12868-9 [contents]