The Free On-line Dictionary of Computing (30 December 2018):

TRIGMAN

   A system for symbolic mathematics, especially celestial
   mechanics.

   (1994-12-14)