\( \newcommand\D{\mathrm{d}} \newcommand\E{\mathrm{e}} \newcommand\I{\mathrm{i}} \newcommand\bigOh{\mathcal{O}} \newcommand{\cat}[1]{\mathbf{#1}} \newcommand\curl{\vec{\nabla}\times} \newcommand{\CC}{\mathbb{C}} \newcommand{\NN}{\mathbb{N}} \newcommand{\QQ}{\mathbb{Q}} \newcommand{\RR}{\mathbb{R}} \newcommand{\ZZ}{\mathbb{Z}} \)
UP | HOME

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

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.

Last Updated 2022-05-02 Mon 07:23.