W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/14677| Tytuł: | Elementary Number Theory Problems. Part V |
| Autorzy: | Korniłowicz, Artur Naumowicz, Adam |
| Słowa kluczowe: | number theory divisibility primes |
| Data wydania: | 2022 |
| Data dodania: | 16-lut-2023 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 30, Issue 3, Pages 229-234 |
| Abstrakt: | This paper reports on the formalization of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory”[5] using the Mizar system [4], [1], [2]. Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers, problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from the chapter on prime and composite numbers. |
| Afiliacja: | Artur Korniłowicz - Institute of Computer Science, University of Białystok, Poland Adam Naumowicz - Institute of Computer Science, University of Białystok, Poland |
| URI: | http://hdl.handle.net/11320/14677 |
| DOI: | 10.2478/forma-2022-0018 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2022 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2022, Volume 30, Issue 3 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| 10.2478_forma-2022-0018.pdf | 239,62 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
