A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Symbolic mathematics system evaluators (extended abstract)
1996
Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96
Evaluation" of expressions and programs in a computer algebra system is central to every system, but inevitably fails to provide complete satisfaction. Here we explain the conflicting requirements, describe some solutions from current systems, and propose alternatives that might be preferable sometimes. We give examples primarily from Axiom, Macsyma, Maple, Mathematica, with passing mention of a few other systems.
doi:10.1145/236869.236907
dblp:conf/issac/Fateman96
fatcat:bzwdnup5ifh6jjgzcfpsyffy5y