A Formal Proof of Complexity Bounds on Diophantine Equations

[badmonster]

Article URL: https://arxiv.org/abs/2505.16963

Comments URL: https://news.ycombinator.com/item?id=44076170

Points: 50

# Comments: 4