Spatial math and nonlinear solvers.
Large-scale nonlinear optimization library from Google.
Small header-only C++ library for Lie theory.
