Spatial math and nonlinear solvers.
Symbolic framework for nonlinear optimization and optimal control.