- A review of the ODE solvers of Axiom, Derive, Macsyma, Maple,
- Euromath Bulletin Vol. 1, No. 2, 1994
- Does Axiom Solve Systems of O.D.E.'s Like Mathematica? \Lambda
- Symbolic Mathematics System Evaluators Richard J. Fateman
- Wester's test suite in MuPAD 1.3 Paul Zimmermann
- Efficient Computation of Chebyshev Polynomials in Computer Algebra
- A Review of Symbolic Solvers DRAFT Laurent Bernardin
- On Factorized Grobner Bases HansGert Grabe
- About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce
- A Review of CAS Mathematical Capabilities \Lambda Michael Wester
- Multiplevalued complex functions and computer algebra
- Diss. ETH No. 11432 Dominik Gruntz
- A Critique of the Mathematical Abilities of CA Systems
