A survey of local-global methods for Hilbert's Tenth Problem

Sylvy Anscombe, Valentijn Karemaker, Zeynep Kisakürek +3

Hilbert's Tenth Problem (H10) for a ring R asks for an algorithm to decide correctly, for each $f\in \mathbb{Z}[X_1,\dots ,X_n]$, whether the diophantine equation $f(X_{1},...,X_…