FORM
A system written by Jos Vermaseren <t68@nikhefh.nikhef.nl> in 1989 for fast handling of very large-scale symbolic mathematics problems. FORM is a descendant of Schoonschip and is available for many personal computers and workstations.
ftp://acm.princeton.edu/, ftp://nikhefh.nikhef.nl/.
Mailing list: <form@can.nl>.