5 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonas Bayer, Marco David
We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Prob…