- [1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer https://arxiv.org/abs/1605.00723 3 comments math
Linking pages
- World's Largest Math Proof Solved. And It Takes Up 200 Terabytes https://futurism.com/worlds-largest-math-proof-solved-and-it-takes-up-200-terabytes/ 346 comments
- Two-hundred-terabyte maths proof is largest ever | Nature https://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19990 318 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
See how to search.