34 citations · 115 across the 35 of their papers we have counts for
1 paper · 1 filter
T. Mei
Based on the MRDP theorem concerning the Hilbert tenth problem, there is a corresponding Diophantine equation called proof equation for every formula of the First-order Peano Arith…