W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/19736| Tytuł: | Application of Complex Classes to Number Theory |
| Autorzy: | Ziobro, Rafał |
| Słowa kluczowe: | integer numbers multiplication division rounding |
| Data wydania: | 2025 |
| Data dodania: | 2-lut-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 33, Issue 1, Pages 207-216 |
| Abstrakt: | The paper illustrates how the formal framework proposed earlier for complex numbers can be applied to integer and natural numbers, facilitating proofs by means of clusters’ registrations for Mizar adjectives. The contents of the article are closely related to the series of Mizar articles “Elementary Number Theory Problems” (with MML identifiers NUMBER*), but it is not solving any of “250 Problems in Elementary Number Theory” by Wacław Sierpiński book. |
| Afiliacja: | Department of Carbohydrate Technology and Cereal Processing, University of Agriculture, Kraków, Poland |
| URI: | http://hdl.handle.net/11320/19736 |
| DOI: | 10.2478/forma-2025-0016 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0001-9681-4380 |
| 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): | Formalized Mathematics, 2025, Volume 33, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Application_of_Complex_Classes_to_Number_Theory.pdf | 246,24 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
