Skip to main content
Have a personal or library account? Click to login
On the Representation of Natural Numbers in Positional Numeral Systems1 Cover

On the Representation of Natural Numbers in Positional Numeral Systems1

Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
By:   
Open Access
|Jun 2008
Abstract

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.

DOI: https://doi.org/10.2478/v10037-006-0025-9 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 221 - 223
Published on: Jun 13, 2008
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
Logic and set theory,
Computer sciences,
Artificial intelligence

© 2008 Adam Naumowicz, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 4 (December 2006)