Some group theoretic examples with completion theorem provers

DOI10.1007/BF00244494MaRDI QIDQ1815855zbMATH OpenOpenAlexFDO

Authors Steve Linton, Duncan Shand

Publication date 19 November 1996

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00244494

zbMATH Keywords

completionKnuth-Bendix proceduretheorem provers

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04)

Recommendations

• Some experiments with a completion theorem prover
• Proving group isomorphism theorems
• Computer proofs in group theory
• scientific article; zbMATH DE number 934902

Cited in

(9)

• Problem corner: Proving equivalence of different axiomatizations of free groups
• Some experiments with a completion theorem prover
• Invariants, patterns and weights for ordering terms
• Theorem proving with group presentations: examples and questions
• Algebra and automated deduction
• scientific article; zbMATH DE number 934902 (Why is no real title available?)
• A case study of completion modulo distributivity and Abelian groups
• Proving group isomorphism theorems
• A counterexample to a group completion conjecture of J. C. Moore

Describes a project that uses

Uses Software

• TPTP

This page was built for publication: Some group theoretic examples with completion theorem provers

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