A system for symbolic mathematics, especially celestial mechanics.
(1994-12-14)
Try this search on Wikipedia, OneLook, Google