Toward a formal implementation of computer algebra

1 August 1974

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin

Vol. 8 (3) , 9-16
https://doi.org/10.1145/1086837.1086839

Abstract

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.

Keywords

FORMAL IMPLEMENTATION
PIONEER DAY
SYMBOL MANIPULATION
CONSIDERABLE COLLECTION
COMPUTER ALGEBRA
BETTER UNDERSTANDING
COMPUTER SCIENCE
ALGEBRAIC SYSTEM
ALGEBRAIC ALGORITHM
PROGRAMMING CONSTRUCT
DATA STRUCTURE

This publication has 2 references indexed in Scilit:

Extended polynomial algorithms
Published by Association for Computing Machinery (ACM) ,1973
Berechnung und programm. I
Acta Informatica, 1972