reform (cargo): A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace.
Keywords: mathematics|manipulation|symbolic|physics|algebra