JAffer's Canonical ALgebra

Synonyms

JACAL

(JACAL) A symbolic mathematics program, most of which was written in Scheme by Aubrey Jaffer.

http://swissnet.ai.mit.edu/~jaffer/JACAL.html.