A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL.

Richard Schmoetten Jacques D. Fleuriot

Published in: CoRR (2024)

Keyphrases

lie algebra
lie group
infinite dimensional
mean shift
vector field
vector space
parameter space
geometric structure
riemannian manifolds
linear transformation
tensor field
euclidean space
feature extraction