A system for symbolic mathematics, especially celestial mechanics.

(01 Mar 1994)