Prime representing polynomial with 10 unknowns
type: Item
instance of: scholarly article
title: Prime representing polynomial with 10 unknowns
zbMATH Open document ID: 1542.68231
author: Karol Pąk
published in: Formalized Mathematics
publication date: 2024-06-18T00:00:00Z
Mathematics Subject Classification ID: 68V20
Mathematics Subject Classification ID: 11A41
Mathematics Subject Classification ID: 11D45
zbMATH DE Number: 7866942
zbMATH Keywords: polynomial reduction
zbMATH Keywords: prime-representing polynomial
MaRDI profile type: Publication
cites work: Mizar: State-of-the-art and Beyond
cites work: The role of the Mizar mathematical library for interactive proof development in Mizar
cites work: Niven's theorem
cites work: Primes are nonnegative values of a polynomial in 10 variables
cites work: Diophantine sets. Preliminaries
cites work: Prime representing polynomial
cites work: Prime representing polynomial with 10 unknowns -- introduction. II
cites work: Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
cites work: Characteristic of rings. Prime fields
DOI: 10.2478/FORMA-2022-0021
description: scientific article; zbMATH DE number 7866942