[jJ]ulia
LieGroups.jl
Lie algebra
Lie algebras
Lie group
Lie groups
Riemannian
Schur
semidirect