Diophantine sets. II
From MaRDI portal
Publication:2337339
Recommendations
- Diophantine sets. Preliminaries
- scientific article; zbMATH DE number 3046569
- On Certain Sets of Integers (II)
- On some Diophantine equations. II
- A diophantine inequality. II
- Diophantine sets of representations
- Diophantine sets and Dirichlet improvability
- Exceptional sets for Diophantine inequalities
- Introduction to Diophantine approximation. II
- Intersective sets and Diophantine approximation
Cites work
- Basel problem -- preliminaries
- Basic Diophantine relations
- Diophantine sets. Preliminaries
- Four decades of \textsc{Mizar}. Foreword
- Hilbert's Tenth Problem is Unsolvable
- scientific article; zbMATH DE number 1016911 (Why is no real title available?)
- Logical number theory I. An introduction
- Mizar: state-of-the-art and beyond
- On subnomials
- The role of the Mizar mathematical library for interactive proof development in Mizar
Cited in
(7)- Diophantine sets. Preliminaries
- Prime representing polynomial
- Basic Diophantine relations
- Formalization of the MRDP theorem in the Mizar system
- scientific article; zbMATH DE number 404532 (Why is no real title available?)
- scientific article; zbMATH DE number 3046569 (Why is no real title available?)
- On Certain Sets of Integers (II)
This page was built for publication: Diophantine sets. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2337339)
