A review of symbolic solvers
Laurent Bernardin · ACM SIGSAM Bulletin · 1996
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.The aim is to provide a benchmark for comparing Computer Algebra Systems in a specific domain. We do not intend to give a rating of overall capabilities as for example [8].