Robert H. Lewis
Department of Mathematics, Fordham University, Bronx, NY
A review of symbolic solvers
ACM SIGSAM Bulletin
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation