nLab
Riemann curvature