2 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Richard Schmoetten, Jacques D. Fleuriot
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that…