1. bookVolumen 25 (2017): Edición 4 (December 2017)
Detalles de la revista
License
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Primera edición
09 Jun 2008
Calendario de la edición
4 veces al año
Idiomas
Inglés
Acceso abierto

The Matiyasevich Theorem. Preliminaries

Publicado en línea: 28 Mar 2018
Volumen & Edición: Volumen 25 (2017) - Edición 4 (December 2017)
Páginas: 315 - 322
Recibido: 29 Nov 2017
Detalles de la revista
License
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Primera edición
09 Jun 2008
Calendario de la edición
4 veces al año
Idiomas
Inglés

[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-0019Abierto 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/2318447Abierto 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-7Abierto 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-0018Abierto DOISearch in Google Scholar

Artículos recomendados de Trend MD

Planifique su conferencia remota con Sciendo