• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Binding of Endpoints to Identifiers by On-Chain Proofs.

Diego PenninoMaurizio PizzoniaAndrea VitalettiMarco 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