[[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-0019]Open 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/9781118032541]Search 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/2318447]Open 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-7]Open 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-0018]Open DOISearch in Google Scholar