Modeling language for Mathematical Optimization
Computational algebraic number theory
A common interface for quadrature and numerical integration
Multi-language suite for high-performance solvers of equations
High performance ordinary differential equation (ODE)