FORM is an open-source symbolic manipulation system that can efficiently handle extremely large equations.
FORM is extremely fast compared to competitors like Mathematica and Maple. Parallel processing is used intensively.
FORM has been used to solve complex problems ranging from high energy physics to mathematics.
FORM is open-source and free to use for anyone. Contributions are of course welcome.