Algebra and automated deduction
From MaRDI portal
Publication:4647540
DOI10.1007/3-540-61511-3_106zbMath1412.68242WikidataQ55393307 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
68W30: Symbolic computation and algebraic computation
20-04: Software, source code, etc. for problems pertaining to group theory
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item