Textbooks

There is no mandatory textbook. The following are suggestions as complementary material:

• Joachim von zur Gathen and Jürgen Gerhard: Modern Computer Algebra, second edition, Cmabridge University Press, 2003.


• Bhubaneswar Mishra: Algorithmic Algebra, Springer-Verlag 1993


• Richard D. Jenks and Robert S. Sutor: AXIOM, The Scientific Computation System, Springer-Verlag, 1992.


• Keith O. Geddes, Stephen R. Czapor, and George Labahn: Algorithms for Computer Algebra


• Joel S. Cohen: Computer Algebra and Symbolic Computattion: Elementary Algorithms, A K Peters LTD, 2002


• Joel S. Cohen: Computer Algebra and Symbolic Computation: Mathematical Methods, A K Peters LTD, 2003


• Michael J. Wester: Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999.

Free or Open Source General Purpose Symbolic Systems

• OpenAxiom


• Maxima


• SAGE

Proprietary General Purpose Symbolic Systems

• Maple


• Mathematica


• MuPAD

Free or Open Source Lisp Implementations

• GCL: The GNU Common Lisp
• SBCL: Steel Bank Common Lisp
• CLISP: GNU CLISP - an ANSI Common Lisp Implementation
• ECL: Embeddable Common Lisp