Formally Proving the Boolean Pythagorean Triples Conjecture
From MaRDI portal
Publication:4645756
DOI10.29007/jvdjzbMath1403.68222OpenAlexW2741979441MaRDI QIDQ4645756
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
How to get more out of your oracles ⋮ Formally verifying the solution to the Boolean Pythagorean triples problem
Uses Software
This page was built for publication: Formally Proving the Boolean Pythagorean Triples Conjecture
