Algebra and automated deduction

DOI10.1007/3-540-61511-3_106zbMath1412.68242OpenAlexW1564734982WikidataQ55393307 ScholiaQ55393307MaRDI QIDQ4647540

Duncan Shand, Steve Linton, Peter Pröhle, Ursula Martin Webb

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_106

Mathematics Subject Classification ID

Uses Software

• GAP
• LARCH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verifying nilpotence
• Orderings for term-rewriting systems
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Presentations of groups and monoids
• Some group theoretic examples with completion theorem provers
• Infinite complete group presentations
• A Contribution to the Theory of Groups of Prime-Power Order
• An overview of LP, the Larch Prover

This page was built for publication: Algebra and automated deduction