W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/19732| Tytuł: | Elementary Number Theory Problems. Part XVII |
| Autorzy: | Korniłowicz, Artur Naumowicz, Adam |
| Słowa kluczowe: | number theory prime number finite sequence |
| Data wydania: | 2025 |
| Data dodania: | 2-lut-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 33, Issue 1, Pages 145-164 |
| Abstrakt: | This paper furthers the formalization of problems from Wacław Sierpiński book “250 Problems in Elementary Number Theory” in the Mizar system. The selected twelve items are 37, 101, 115, 117, 145, 157, 159, 161–163, 165, and 169. |
| Afiliacja: | Artur Korniłowicz - Faculty of Computer Science, University of Białystok, Poland Adam Naumowicz - Faculty of Computer Science, University of Białystok, Poland |
| URI: | http://hdl.handle.net/11320/19732 |
| DOI: | 10.2478/forma-2025-0012 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0002-4565-9082 0000-0003-4224-9798 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | 2025 The Author(s) CC BY-SA 4.0 license |
| Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2025, Volume 33, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Elementary_Number_Theory_Problems._Part_XVII.pdf | 325,29 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
