Prime representing polynomial with 10 unknowns -- introduction

DOI10.2478/FORMA-2022-0013MaRDI QIDQ6489409

Karol Pąk

Publication date: 22 April 2024

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

zbMATH Keywords

Diophantine equationpolynomial reduction

Mathematics Subject Classification ID

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

Cites Work

• Polish notation
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Preliminaries to Classical First Order Model Theory
• Mizar: State-of-the-art and Beyond
• Reduction of an arbitrary diophantine equation to one in 13 unknowns
• Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

This page was built for publication: Prime representing polynomial with 10 unknowns -- introduction