Advances in the Formalization of the Odd Order Theorem

DOI10.1007/978-3-642-22863-6_2zbMath1317.68210OpenAlexW115725109MaRDI QIDQ3087991

Georges Gonthier

Publication date: 17 August 2011

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22863-6_2

zbMATH Keywords

group theoryformalization of mathematicsCoqodd order theoremSSReflectproof library

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items (2)

How Hard Is Positive Quantification? ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

Uses Software

• Coq
• Coq/SSReflect

This page was built for publication: Advances in the Formalization of the Odd Order Theorem