Una conseguenza sorprendente del teorema DPR come ridimostrato da Matiyasevich nel 1974
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: StrikingResultMatiyasevich1974.pdf