Uneingeschränkter Zugang

Elementary Number Theory Problems. Part VII

Artur Korniłowicz
Artur Korniłowicz
   | 26. Sept. 2023
Formalized Mathematics's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
Online veröffentlicht: 26. Sept. 2023
Seitenbereich: 23 - 29
Akzeptiert: 31. März 2023
DOI: https://doi.org/10.2478/forma-2023-0003
Schlüsselwörter
© 2023 Artur Korniłowicz, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

In this paper problems 48, 80, 87, 89, and 124 from [7] are formalized, using the Mizar formalism [1], [2], [4]. The work is natural continuation of [5] and [3] as suggested in [6].

eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines
Zeitschrift RSS Feed