TRIGMAN

A system for symbolic mathematics, especially celestial mechanics.