Binary representation of natural numbers

DOI10.2478/FORMA-2018-0020MaRDI QIDQ2311531zbMATH OpenOpenAlexFDO

Authors Hiroyuki Okazaki

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2018-0020

zbMATH Keywords

algorithms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other number representations (11A67)

Recommendations

• Parity as a property of integers
• Binary trees as a computational framework
• A semantic construction of two-ary integers
• Arithmetic and Boolean operations on recursively run-length compressed natural numbers
• Representing integers in the binary number system as permanents of certain matrices

Cites work

• scientific article; zbMATH DE number 1099195 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• The counting hierarchy in binary notation
• Parity as a property of integers

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Binary representation of natural numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2311531)