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

DOI10.1007/3-540-58156-1_1zbMath1433.68566OpenAlexW1519720043MaRDI QIDQ5210758

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 reasoningquasigroupsautomated theorem proving

Mathematics Subject Classification ID

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

Uses Software

• SATCHMO

Cites Work

• A proof of the four color theorem
• Automated reasoning and exhaustive search: Quasigroup existence problems
• The Non-Existence of Finite Projective Planes of Order 10
• Unnamed Item
• Unnamed Item

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