The crisis in finite mathematics: Automated reasoning as cause and cure

DOI10.1007/3-540-58156-1_1MaRDI QIDQ5210758zbMATH OpenOpenAlexFDO

Authors John K. Slaney

Publication date 21 January 2020

Published in Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58156-1_1

zbMATH Keywords

automated reasoningautomated theorem provingquasigroups

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Loops, quasigroups (20N05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A proof of the four color theorem
• Automated reasoning and exhaustive search: Quasigroup existence problems
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• scientific article; zbMATH DE number 1348469 (Why is no real title available?)
• The Non-Existence of Finite Projective Planes of Order 10

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: The crisis in finite mathematics: Automated reasoning as cause and cure

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