The formalization of group theory knowledge and solving

MaRDI QIDQ4962863zbMATH OpenFDO

Authors

Publication date 5 November 2018

zbMATH Keywords

formalizationgroup theorytheorem proververify

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics and elementary properties of groups (20A05) Applications of logic to group theory (20A15)

Recommendations

• Engineering mathematics: the odd order theorem proof
• MathLang Translation to Isabelle Syntax
• Mathematical Knowledge Management
• Biform theories: project description
• Commutativity theorems in groups with power-like maps

Cited in

(3)

• Engineering mathematics: the odd order theorem proof
• scientific article; zbMATH DE number 5155089 (Why is no real title available?)
• MathLang Translation to Isabelle Syntax

This page was built for publication: The formalization of group theory knowledge and solving

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