Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper).

Anthony Bordg Nicolò Cavalleri

Published in: CICM Workshops (2021)

Keyphrases

differential geometry
infinite dimensional
structure tensor
riemannian manifolds
shape space
closed curves
image processing
feature space