Computer Algebra Systems
Table of Contents
1. Introduction
A "computer algebra system" refers to a computer program capable of symbolically computing integrals, derivatives, etc. These seem to be a large collection of rewriting rules.
I'm curious about hacking Lisp to turn it into a CAS, similar to how Kiat Shi Tan and friends hacked C++ and turned it into a CAS. The consensus among the Common Lisp community seems to be, "Just use Maxima, lol."
2. References
- Fredrik Johansson's blog, interesting symbolic computation blog
- Thomas Fischbacher,
"A novel approach to symbolic algebra".
arXiv:cs/0406002, 15 pages, discusses an approach using MzScheme. - Mathematica's Some Notes on Internal Implementation
2.1. Books
- Joel Cohen,
Computer Algebra and Symbolic Computation.
2 volumes; CRC Press, 2002. - K.O. Geddes, S.R. Czapor, G. Labahn,
Algorithms for Computer Algebra.
Springer, 1992 - Manuel Bronstein,
Symbolic Integration 1: Transcendental Functions.
2nd ed., Springer-Verlag, 1997. - Kiat Shi Tan and Willi-Hans Steeb and Yorick Hardy,
SymbolicC++: An Introduction to Computer Algebra Using Object-Oriented Programming.
2nd ed., Springer, 2000.