FORM

FORM is a powerful computer algebra system for very large symbolic calculations, developed by Jos Vermaseren of Nikhef. FORM has its own website where the calculation programme can be downloaded for free.