A Review of Symbolic Solvers
Date: July 20th (Saturday)
Time: 08:52.5-09:15
Abstract
Solving equations and systems of equations symbolically is a key feature of every
computer algebra system. This review examines the capabilities of the six best known
general purpose systems to date in the area of general algebraic and transcendental equation
solving. Areas explicitly not covered by this review are differential equations and numeric
or polynomial system solving as special purpose systems exist for
these kinds of problems.
