A modern computer algebra system which aims to handle expressions with billions of terms.
No resources for this project.