Sasaki, Tateaki "Simplification of algebraic expression by multiterm rewriting rules" Proceedings of the fifth ACM Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada 1986 pp115-120
(1986) |
Languages mentioned
- ALTRAN {1969} A FORTRAN extension for rational algebra
- GAL {1982} General Algebraic Language
- MACSYMA {1969} Symbolic math system
- REDUCE {1963}
- SMP {1981}
|
|