The Free On-line Dictionary of Computing (19 January 2023):

TRIGMAN

   A system for symbolic mathematics, especially celestial
   mechanics.

   (1994-12-14)