Diophantine Sets. Part II
The article is the next in a series aiming to formalize the MDPR-theorem using the Mizar proof assistant [3], [6], [4]. We analyze four equations from the Diophantine standpoint that are crucial in the bounded quantifier theorem, that is used in one of the approaches to solve the problem.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2019-07-01
|
| Series: | Formalized Mathematics |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/forma-2019-0019 |
| id |
doaj-ecbc12591673443ca8efd0251d2d4d71 |
|---|---|
| record_format |
Article |
| spelling |
doaj-ecbc12591673443ca8efd0251d2d4d712021-09-05T21:01:04ZengSciendoFormalized Mathematics1426-26301898-99342019-07-0127219720810.2478/forma-2019-0019forma-2019-0019Diophantine Sets. Part IIPąk Karol0Institute of Informatics, University of Białystok, PolandThe article is the next in a series aiming to formalize the MDPR-theorem using the Mizar proof assistant [3], [6], [4]. We analyze four equations from the Diophantine standpoint that are crucial in the bounded quantifier theorem, that is used in one of the approaches to solve the problem.https://doi.org/10.2478/forma-2019-0019hilbert’s 10th problemdiophantine relations11d4568t9903b35 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Pąk Karol |
| spellingShingle |
Pąk Karol Diophantine Sets. Part II Formalized Mathematics hilbert’s 10th problem diophantine relations 11d45 68t99 03b35 |
| author_facet |
Pąk Karol |
| author_sort |
Pąk Karol |
| title |
Diophantine Sets. Part II |
| title_short |
Diophantine Sets. Part II |
| title_full |
Diophantine Sets. Part II |
| title_fullStr |
Diophantine Sets. Part II |
| title_full_unstemmed |
Diophantine Sets. Part II |
| title_sort |
diophantine sets. part ii |
| publisher |
Sciendo |
| series |
Formalized Mathematics |
| issn |
1426-2630 1898-9934 |
| publishDate |
2019-07-01 |
| description |
The article is the next in a series aiming to formalize the MDPR-theorem using the Mizar proof assistant [3], [6], [4]. We analyze four equations from the Diophantine standpoint that are crucial in the bounded quantifier theorem, that is used in one of the approaches to solve the problem. |
| topic |
hilbert’s 10th problem diophantine relations 11d45 68t99 03b35 |
| url |
https://doi.org/10.2478/forma-2019-0019 |
| work_keys_str_mv |
AT pakkarol diophantinesetspartii |
| _version_ |
1717781660352643072 |