Symbolic mathematics system evaluators (extended abstract (0)

by R J Fateman
Venue:Proc 1996 Intl. Symp. on Symbolic and Algebraic Computation