FORM is a symbolic manipulation program which places its emphasis on
large formulae and execution speed. There are enough mechanisms to provide it with nearly all the knowledge that is needed for large scale symbolic calculations in mathematics, physics and engineering.
FORM has been applied already for computations in Field theory,
Lattice gauge theory (both in physics) and a problem in mathematical group theory (helping with solving a set of nonlinear equations that was too big for any other system).