1. bookVolume 25 (2017): Edition 4 (December 2017)
Détails du magazine
License
Format
Magazine
eISSN
1898-9934
ISSN
1426-2630
Première parution
09 Jun 2008
Périodicité
4 fois par an
Langues
Anglais
Accès libre

The Matiyasevich Theorem. Preliminaries

Publié en ligne: 28 Mar 2018
Volume & Edition: Volume 25 (2017) - Edition 4 (December 2017)
Pages: 315 - 322
Reçu: 29 Nov 2017
Détails du magazine
License
Format
Magazine
eISSN
1898-9934
ISSN
1426-2630
Première parution
09 Jun 2008
Périodicité
4 fois par an
Langues
Anglais

[1] Marcin Acewicz and Karol Pak. Pell’s equation. Formalized Mathematics, 25(3):197-204, 2017. doi: 10.1515/forma-2017-0019.10.1515/forma-2017-0019Ouvrir le DOISearch in Google Scholar

[2] Zofia Adamowicz and Paweł Zbierski. Logic of Mathematics: A Modern Course of Classical Logic. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley-Interscience, 1997.10.1002/9781118032541Search in Google Scholar

[3] Martin Davis. Hilbert’s tenth problem is unsolvable. The American Mathematical Monthly, Mathematical Association of America, 80(3):233-269, 1973. doi: 10.2307/2318447.10.2307/2318447Ouvrir le DOISearch in Google Scholar

[4] Yoshinori Fujisawa and Yasushi Fuwa. The Euler’s function. Formalized Mathematics, 6 (4):549-551, 1997.Search in Google Scholar

[5] Xiquan Liang, Li Yan, and Junjie Zhao. Linear congruence relation and complete residue systems. Formalized Mathematics, 15(4):181-187, 2007. doi: 10.2478/v10037-007-0022-7.10.2478/v10037-007-0022-7Ouvrir le DOISearch in Google Scholar

[6] Robert Milewski. Natural numbers. Formalized Mathematics, 7(1):19-22, 1998.Search in Google Scholar

[7] Rafał Ziobro. Fermat’s Little Theorem via divisibility of Newton’s binomial. Formalized Mathematics, 23(3):215-229, 2015. doi: 10.1515/forma-2015-0018.10.1515/forma-2015-0018Ouvrir le DOISearch in Google Scholar

Articles recommandés par Trend MD

Planifiez votre conférence à distance avec Sciendo