TRIGMAN

A language for symbolic mathematics, especially Celestial Mechanics.