Prime representing polynomial with 10 unknowns -- introduction

DOI10.2478/FORMA-2022-0013MaRDI QIDQ6489409FDOQ6489409

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

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

Cites Work

• Mizar: State-of-the-art and Beyond
• Reduction of an arbitrary diophantine equation to one in 13 unknowns
• Preliminaries to classical first-order model theory
• Polish notation
• Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
• The role of the Mizar mathematical library for interactive proof development in Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489409)