Automated theorem proving in quasigroup and loop theory

DOI10.3233/AIC-2010-0460zbMath1204.68181MaRDI QIDQ3568233

No author found.

Publication date: 17 June 2010

Published in: AI Communications (Search for Journal in Brave)

zbMATH Keywords

loopquasigroupnon-associative algebraautomated theorem proving

Mathematics Subject Classification ID

Related Items (5)

From informal to formal proofs in Euclidean geometry ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction ⋮ Guiding an automated theorem prover with neural rewriting

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover

This page was built for publication: Automated theorem proving in quasigroup and loop theory