Login / Signup
Computationally Sound Mechanized Proofs of Correspondence Assertions.
Bruno Blanchet
Published in:
IACR Cryptol. ePrint Arch. (2007)
Keyphrases
</>
knowledge base
theorem prover
theorem proving
point correspondences
correspondence matching
database
medical images
decision procedures
equational theories
information systems
case study
database systems
evolutionary algorithm
natural deduction
formal proof
mathematical proofs