Algebra and automated deduction

DOI10.1007/3-540-61511-3_106zbMATH Open1412.68242OpenAlexW1564734982WikidataQ55393307 ScholiaQ55393307MaRDI QIDQ4647540FDOQ4647540

Authors: Steve Linton, Peter Pröhle, Duncan Shand, 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

Recommendations

• Some experiments with a completion theorem prover
• Artificial Intelligence and Symbolic Computation
• 7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings
• scientific article; zbMATH DE number 978243
• scientific article; zbMATH DE number 1324436

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to group theory (20-04)

Cites Work

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

Uses Software

• GAP
• LARCH

This page was built for publication: Algebra and automated deduction

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