MirrorShard: Proof by Computational Reflection with Verified Hints

Gregory Malecha Adam Chlipala Thomas Braibant Patrick Hulin Edward Z. Yang

Published in: CoRR (2013)

Keyphrases

wide range
computer vision
information systems
information retrieval
three dimensional
similarity measure
theorem proving
computational power