Spatial math and nonlinear solvers.
Large-scale nonlinear optimization library from Google.
Factor graphs for SLAM and sensor fusion.