\begin{center}
\LARGE
A Review of Symbolic Solvers

\end{center}

\begin{center}
\Large
Laurent Bernardin

\end{center}

\noindent
Date:  July 20th (Saturday) \\
Time:  08:52.5-09:15\\

\begin{center}
\large
Abstract
\end{center}

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. 

