2024-03-29T11:58:43Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:02001209
2022-12-14T04:15:24Z
1221:1222
Binary Representation of Natural Numbers
Okazaki, Hiroyuki
algorithms
Binary representation of integers and arithmetic ope-rations on them have already been introduced in Mizar Mathematical Library. However, these articles formalize the notion of integers as mappedinto a certain length tuple of boolean values.In this article we formalize, by means of Mizar system, the binaryrepresentation of natural numbers which mapsNinto bitstreams.
Article
FORMALIZED MATHEMATICS 26(3) : 223-229(2019)
journal article
SCIENDO
2019-02-23
application/pdf
FORMALIZED MATHEMATICS
3
26
223
229
1898-9934
https://soar-ir.repo.nii.ac.jp/record/2001209/files/17K00182_3.pdf
eng
10.2478/forma-2018-0020
https://doi.org/10.2478/forma-2018-0020
© 2018 Hiroyuki Okazaki, published by Sciendo This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.