Diophantine sets. Preliminaries

Pąk, Karol

doi:10.2478/forma-2018-0007

References

[1] Marcin Acewicz and Karol Pąk. Pell’s equation. Formalized Mathematics, 25(3):197–204, 2017. doi:10.1515/forma-2017-0019.10.1515/forma-2017-0019
Open DOI Search in Google Scholar Back to article
[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 Back to article
[3] Czesław Byliński. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241–245, 1996.
Search in Google Scholar Back to article
[4] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1
Open DOI Search in Google Scholar Back to article
[5] Karol Pąk. The Matiyasevich theorem. Preliminaries. Formalized Mathematics, 25(4): 315–322, 2017. doi:10.1515/forma-2017-0029.10.1515/forma-2017-0029
Open DOI Search in Google Scholar Back to article
[6] Piotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics, 9(1):95–110, 2001.
Search in Google Scholar Back to article
[7] Craig Smorynski. Logical Number Theory I, An Introduction. Universitext. Springer-Verlag Berlin Heidelberg, 1991. ISBN 978-3-642-75462-3.
Search in Google Scholar Back to article
[8] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825–829, 2001.
Search in Google Scholar Back to article

Diophantine sets. Preliminaries

References

Paradigm

My account