Toward a formal implementation of computer algebra

  title={Toward a formal implementation of computer algebra},
  author={R{\"u}diger G. K. Loos},
  journal={SIGSAM Bull.},
We consider in this paper the task of synthesizing an algebraic system. Today the task is significantly simpler than in the pioneer days of symbol manipulation, mainly because of the work done by the pioneers in our area, but also because of the progress in other areas of Computer Science. There is now a considerable collection of algebraic algorithms at hand and a much better understanding of data structures and programming constructs than only a few years ago. 
28 Citations
Computer Algebra Systems
  • 63
  • PDF
Computer Algebra: Past and Future
  • B. Caviness
  • Computer Science
  • European Conference on Computer Algebra
  • 1985
  • 7
On the Integration of Numeric and Algebraic Computations
  • 2
Computer Algebra
  • 132
  • PDF
Algebraic Specifications: Constructive Methodology in Logic Programming
  • 3
A language for computational algebra
  • 23
Canonical representatives for residue classes of a polynomial ideal
  • M. Lauer
  • Mathematics, Computer Science
  • SYMSAC '76
  • 1976
  • 29
Simplification of radical expressions
  • 20
  • PDF