<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this paper we show that every natural number can be uniquely represented as a base-<italic>b</italic> numeral. The formalization is based on the proof presented in [11]. We also prove selected divisibility criteria in the base-10 numeral system.</p></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.

On the Representation of Natural Numbers in Positional Numeral Systems<sup>1</sup>

Institute of Computer Science, University of Białystok, Akademicka 2, 15-267 Białystok, Poland

Formalized Mathematics

On the Representation of Natural Numbers in Positional Numeral Systems

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...

On the Representation of Natural Numbers in Positional Numeral Systems¹

Data publikacji: 13 cze 2008

Zakres stron: 221 - 223

DOI: https://doi.org/10.2478/v10037-006-0025-9

This content is open access.

On the Representation of Natural Numbers in Positional Numeral Systems1

Data publikacji: 13 cze 2008

Zakres stron: 221 - 223

DOI: https://doi.org/10.2478/v10037-006-0025-9

This content is open access.

On the Representation of Natural Numbers in Positional Numeral Systems¹