Hacker Next
A Formal Proof of Complexity Bounds on Diophantine Equationsarxiv.org
93 points by badmonster 13 days ago | 11 comments