Mercator: A Connection with TorsionIntroduction In most presentations of Riemannian geometry, e.g. O’Neill (1983) and Wikipedia, the fundamental theorem of Riemannian geometry (“the miracle of Riemannian geometry”) is given: that for any semi-Riemannian manifold there is a unique torsion-free metric connection. I assume partly because of this and partly because the major application of Riemannian geometry is General Relativity, con
Makefiles for tikz sagemath and teaching notes written in markdown
https://pyvideo.org/video/652/sage-open-source-math-in-python/
