A Formal Proof of Complexity Bounds on Diophantine Equations.

Jonas Bayer, Marco David

Browse the full ITP paper archive.