Differential Geometry

Dependency graphs for manifolds, Riemannian geometry, connections, and differential forms.