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