Some group theoretic examples with completion theorem provers

DOI10.1007/BF00244494zbMath0855.68087OpenAlexW1995727018MaRDI QIDQ1815855

Duncan Shand, Steve Linton

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)

Related Items (3)

Theorem proving with group presentations: Examples and questions ⋮ Algebra and automated deduction ⋮ Invariants, patterns and weights for ordering terms

Uses Software

• TPTP

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