• DOI:10.1145/1086837.1086839
Corpus ID: 16386554

Toward a formal implementation of computer algebra

@article{Loos1974TowardAF,
  title={Toward a formal implementation of computer algebra},
  author={R{\"u}diger G. K. Loos},
  journal={SIGSAM Bull.},
  year={1974},
  volume={8},
  pages={9-16}
}

• Rüdiger G. K. Loos
• Published 1974
• Computer Science
• SIGSAM Bull.

View on ACM

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed

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.