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}