W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17793| Tytuł: | Elementary Number Theory Problems. Part XVI |
| Autorzy: | Pąk, Karol |
| Słowa kluczowe: | number theory prime number arithmetic progression |
| Data wydania: | 2024 |
| Data dodania: | 10-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 203–212 |
| Abstrakt: | In this paper, we continue the work on formalizing problems from “250 Problems in Elementary Number Theory” by Wacław Sierpiński, using Mizar proof assistant. The formalization covers problems 63, 65, 66, 67, 68, 93, 95, 96, 102, and 103. |
| Afiliacja: | Faculty of Computer Science, University of Białystok, Poland |
| URI: | http://hdl.handle.net/11320/17793 |
| DOI: | 10.2478/forma-2024-0017 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0002-7099-1669 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Elementary-Number-Theory-Problems-Part-XVI.pdf | 295,78 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
