Prime representing polynomial with 10 unknowns -- introduction. II
From MaRDI portal
Publication:6557224
DOI10.2478/FORMA-2022-0020zbMATH Open1542.6823MaRDI QIDQ6557224
Could not fetch data.
Publication date: 18 June 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Counting solutions of Diophantine equations (11D45) Primes (11A41) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Further results on Hilbert's tenth problem
- Primes are nonnegative values of a polynomial in 10 variables
- The role of the Mizar mathematical library for interactive proof development in Mizar
- The Matiyasevich theorem. Preliminaries
- Prime representing polynomial
- Mizar: State-of-the-art and Beyond
- Diophantine Representation of the Set of Prime Numbers
- Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
- Pell's equation
Related Items (1)
This page was built for publication: Prime representing polynomial with 10 unknowns -- introduction. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557224)
