SageManifolds
definition:: Differential geometry and tensor calculus with SageMath
Gourgoulhon, É., & Mancini, M. (2018). Symbolic tensor calculus on manifolds: a SageMath implementation. Les Cours Du CIRM, __6__(1), 1–54. https://doi.org/10.5802/ccirm.26