Formally proving the Boolean Pythagorean triples conjecture

DOI10.29007/JVDJMaRDI QIDQ4645756zbMATH OpenOpenAlexFDO

Authors Luís Cruz-Filipe, Peter Schneider-Kamp

Publication date 10 January 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/jvdj

zbMATH Keywords

interactive theorem provingformal proofsBoolean Pythagorean triples problem

Mathematics Subject Classification ID

Recommendations

• Formally verifying the solution to the Boolean Pythagorean triples problem
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• Formal proof - the four color theorem
• MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
• Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus

Cited in

(4)

• Formally verifying the solution to the Boolean Pythagorean triples problem
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• How to get more out of your oracles
• Formal verification of the empty hexagon number

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Formally proving the Boolean Pythagorean triples conjecture

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