A symbolic manipulation toolkit which aims to handle expressions with billions of terms
The FORM project for symbolic manipulation of very big expressions