Database copyright information Server information
TRIGMAN A system for symbolic mathematics, especially celestial mechanics. (1994-12-14)