A Wos Challenge Met

DOI10.1007/S10817-021-09614-YMaRDI QIDQ2102924zbMATH OpenOpenAlexWikidataFDO

Authors Robert Veroff

Publication date 12 December 2022

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-021-09614-y

zbMATH Keywords

automated theorem provingMoufang identitiesProver9

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A posthumous contribution by Larry Wos: excerpts from an unpublished column
• Larry Wos: visions of automated reasoning
• scientific article; zbMATH DE number 1252517
• scientific article; zbMATH DE number 41806
• scientific article; zbMATH DE number 1568006

Cites work

• Automated proofs of the Moufang identities in alternative rings
• scientific article; zbMATH DE number 1765690 (Why is no real title available?)
• Loops with abelian inner mapping groups: an application of automated deduction
• Moufang quasigroups
• OTTER and the Moufang identity problem
• Solving open questions and other challenge problems using proof sketches
• Using hints to increase the effectiveness of an automated reasoning program: Case studies

Cited in

(3)

• Larry Wos: visions of automated reasoning
• A posthumous contribution by Larry Wos: excerpts from an unpublished column
• An empirical assessment of progress in automated theorem proving

Describes a project that uses

Uses Software

• Prover9
• OTTER
• Peers-mcd
• VAMPIRE

This page was built for publication: A Wos Challenge Met

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