On the Representation of Natural Numbers in Positional Numeral Systems

Pole DC	Wartość	Język
dc.contributor.author	Naumowicz, Adam	-
dc.date.accessioned	2026-11-05T11:16:05Z	-
dc.date.available	2026-11-05T11:16:05Z	-
dc.date.issued	2006	-
dc.identifier.citation	Formalized Mathematics, Volume 14, Issue 4, Pages 221-223	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/21442	-
dc.description.abstract	In this paper we show that every natural number can be uniquely represented as a base-b numeral. The formalization is based on the proof presented in [11]. We also prove selected divisibility criteria in the base-10 numeral system.	pl
dc.description.sponsorship	This work has been partially supported by the FP6 IST grant TYPES No. 510996.	pl
dc.language.iso	en	pl
dc.publisher	University of Białystok	pl
dc.rights	CC BY-SA 4.0	-
dc.rights.uri	https://creativecommons.org/licenses/by-sa/4.0/	-
dc.title	On the Representation of Natural Numbers in Positional Numeral Systems	pl
dc.type	Article	pl
dc.rights.holder	© 2008 Adam Naumowicz, published by University of Białystok	pl
dc.rights.holder	This work is licensed under the Creative Commons License.	pl
dc.identifier.doi	10.2478/v10037-006-0025-9	-
dc.description.Affiliation	Institute of Computer Science University of Białystok	pl
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.	pl
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.	pl
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.	pl
dc.description.references	Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.	pl
dc.description.references	Rafał Kwiatek. Factorial and Newton coeffcients. Formalized Mathematics, 1(5):887-890, 1990.	pl
dc.description.references	Library Committee of the Association of Mizar Users. Binary operations on numbers. To appear in Formalized Mathematics.	pl
dc.description.references	Karol Pąk. Stirling numbers of the second kind. Formalized Mathematics, 13(2):337-345, 2005.	pl
dc.description.references	Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.	pl
dc.description.references	Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.	pl
dc.description.references	Konrad Raczkowski and Andrzej Nędzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.	pl
dc.description.references	Wacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.	pl
dc.description.references	Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.	pl
dc.description.references	Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.	pl
dc.description.references	Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.	pl
dc.description.references	Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825-829, 2001.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.	pl
dc.identifier.eissn	1898-9934	-
dc.description.volume	14	pl
dc.description.issue	4	pl
dc.description.firstpage	221	pl
dc.description.lastpage	223	pl
dc.identifier.citation2	Formalized Mathematics	pl
Występuje w kolekcji(ach):	Artykuły naukowe (WInf) Formalized Mathematics, 2006, Volume 14, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
On_the_Representation_of_Natural_Numbers_in_Positional_Numeral_Systems.pdf		108,78 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL