Diophantine sets. II

DOI10.2478/forma-2019-0019zbMath1432.68542OpenAlexW2963655725WikidataQ127453072 ScholiaQ127453072MaRDI QIDQ2337339

Karol Pąk

Publication date: 19 November 2019

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

Full work available at URL: https://doi.org/10.2478/forma-2019-0019

zbMATH Keywords

Hilbert's 10th problemDiophantine relations

Mathematics Subject Classification ID

Counting solutions of Diophantine equations (11D45) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Prime representing polynomial ⋮ Formalization of the MRDP theorem in the Mizar system

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• On subnomials
• Logical number theory I. An introduction
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Diophantine sets. Preliminaries
• Basic Diophantine relations
• Basel problem -- preliminaries
• Mizar: State-of-the-art and Beyond
• Hilbert's Tenth Problem is Unsolvable

This page was built for publication: Diophantine sets. II