A Review of Symbolic Solvers - Abstract

Laurent Bernardin, ETH Zürich

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 trancendental 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 an overall rating as for example in Michael Westers review.