Existential arithmetization of Diophantine equations

From MaRDI portal
Publication:1006616