5 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonas Bayer, Marco David, Malte Hassler +2
This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal t…