Formalisation of Selected Results from Group Theory
Formalisation of Interval Methods for Nonlinear Root-Finding
Techniques for First-Order Term Indexing in Isabelle/ML
