Diophantine sets. Preliminaries

DOI10.2478/forma-2018-0007zbMath1401.11074OpenAlexW2887880196MaRDI QIDQ1796771

Karol Pąk

Publication date: 17 October 2018

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

Full work available at URL: https://doi.org/10.2478/forma-2018-0007

zbMATH Keywords

multivariate polynomialsPell equationHilbert's 10th problem

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 (max. 100)

Unnamed Item ⋮ Hilbert's Tenth Problem in Coq ⋮ Basic Diophantine relations ⋮ Diophantine sets. II

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Logical number theory I. An introduction
• The Matiyasevich theorem. Preliminaries
• Pell's equation
• Unnamed Item

This page was built for publication: Diophantine sets. Preliminaries