The Matiyasevich theorem. Preliminaries

DOI10.1515/forma-2017-0029zbMath1401.11073OpenAlexW2794525229WikidataQ130058187 ScholiaQ130058187MaRDI QIDQ1795565

Karol Pąk

Publication date: 16 October 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0029

zbMATH Keywords

Pell equationHilbert's 10th problemDiophantine equation

Mathematics Subject Classification ID

Quadratic and bilinear Diophantine equations (11D09) Counting solutions of Diophantine equations (11D45) Mechanization of proofs and logical operations (03B35)

Related Items (6)

Prime representing polynomial ⋮ Unnamed Item ⋮ Diophantine sets. Preliminaries ⋮ Hilbert's Tenth Problem in Coq ⋮ Basic Diophantine relations ⋮ Formalization of the MRDP theorem in the Mizar system

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Fermat's little theorem via divisibility of Newton's binomial
• Hilbert's Tenth Problem is Unsolvable
• Pell's equation

This page was built for publication: The Matiyasevich theorem. Preliminaries