4 citations · 4 across the 7 of their papers we have counts for
1 paper · 1 filter
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…