Algebra and automated deduction

DOI10.1007/3-540-61511-3_106MaRDI QIDQ4647540zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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
• Application of automated deduction to the search for single axioms for exponent groups

Cites work

• A Contribution to the Theory of Groups of Prime-Power Order
• An overview of LP, the Larch Prover
• scientific article; zbMATH DE number 3908658 (Why is no real title available?)
• scientific article; zbMATH DE number 3933295 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3758564 (Why is no real title available?)
• scientific article; zbMATH DE number 42096 (Why is no real title available?)
• scientific article; zbMATH DE number 194089 (Why is no real title available?)
• scientific article; zbMATH DE number 1263407 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 3445454 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• Infinite complete group presentations
• Orderings for term-rewriting systems
• Presentations of groups and monoids
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Some group theoretic examples with completion theorem provers
• Verifying nilpotence

Describes a project that uses

Uses Software

• LARCH
• GAP

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)