A formalization of finite group theory

DOI10.4204/EPTCS.359.10MaRDI QIDQ6659922zbMATH OpenFDO

Authors David M. Russinoff

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.359.10

Mathematics Subject Classification ID

Computational methods for problems pertaining to group theory (20-08) Abstract finite groups (20D99) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• A Modular Formalisation of Finite Group Theory
• Computer proofs in group theory
• scientific article; zbMATH DE number 934902
• The mathematical life of Cauchy's group theorem
• A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L

This page was built for publication: A formalization of finite group theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659922)