• Table of Contents
• Integration
• Linear Solving
• Nonlinear Solving
• Factorization
• Term Rewriting
• Matrices