TRIGMAN
A system for
symbolic mathematics
, especially celestial mechanics.
(14 Dec 1994)