Elements of Differential Geometry in Lean: A Report for Mathematicians.

Anthony Bordg Nicolò Cavalleri

Published in: CoRR (2021)

Keyphrases

differential geometry
infinite dimensional
riemannian manifolds
structure tensor
shape space
computer vision
image processing
high dimensional
finite dimensional