Binding of Endpoints to Identifiers by On-Chain Proofs.

Diego Pennino Maurizio Pizzonia Andrea Vitaletti Marco Zecchini

Published in: ISCC (2020)

Keyphrases

endpoints
source code
theorem proving
line segments
minimal cost
minimal paths
formal proofs
segmentation algorithm
natural deduction
geodesic paths
formal proof
mathematical proofs
input image