W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/9228Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Naumowicz, Adam | - |
| dc.date.accessioned | 2020-06-16T08:30:09Z | - |
| dc.date.available | 2020-06-16T08:30:09Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 28, Issue 1, Pages 115-120 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/9228 | - |
| dc.description.abstract | In this paper we demonstrate the feasibility of formalizing recreational mathematics in Mizar ([1], [2]) drawing examples from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [4]. The current work contains proofs of initial ten problems from the chapter devoted to the divisibility of numbers. Included are problems on several levels of difficulty. | pl |
| dc.language.iso | en | pl |
| dc.publisher | DeGruyter Open | pl |
| dc.rights | Uznanie autorstwa-Na tych samych warunkach 3.0 Polska | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-sa/3.0/pl/ | * |
| dc.subject | number theory | pl |
| dc.subject | recreational mathematics | pl |
| dc.title | Elementary Number Theory Problems. Part I | pl |
| dc.type | Article | pl |
| dc.identifier.doi | 10.2478/forma-2020-0010 | - |
| dc.description.Affiliation | Institute of Informatics, University of Białystok, Poland | pl |
| dc.description.references | Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17. | pl |
| dc.description.references | Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. | pl |
| dc.description.references | Marco Riccardi. The perfect number theorem and Wilson’s theorem. Formalized Mathematics, 17(2):123–128, 2009. doi:10.2478/v10037-009-0013-y. | pl |
| dc.description.references | Wacław Sierpinski. 250 Problems in Elementary Number Theory. Elsevier, 1970. | pl |
| dc.description.references | Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825–829, 2001. | pl |
| dc.description.references | Li Yan, Xiquan Liang, and Junjie Zhao. Gauss lemma and law of quadratic reciprocity. Formalized Mathematics, 16(1):23–28, 2008. doi:10.2478/v10037-008-0004-4. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.firstpage | 115 | pl |
| dc.description.lastpage | 120 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| dc.identifier.orcid | 0000-0003-4224-9798 | - |
| Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2020, Volume 28, Issue 1 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| forma_2020_28_01_0010.pdf | 238,1 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
