A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application
unpublished
Preserved Fulltext
This paper presents modeling ofa binary tree that represents a natural numberand gives an inductive proof for its propertiesusing theorem provers.We define a function for converting data from a natural numberinto a binary treeand give an inductive proof for its well-definedness.We formalize this method, develop a computational model based on it,and apply it to an electronic cash protocol.We also define the payment function on the binary treeand go on to prove the divisibility of electronic
doi:10.29007/w5xk
fatcat:uqdd2oj2uzdt3mic6xctxc76ou