Source-Level Proof Reconstruction for Interactive Theorem Proving.

Lawrence C. Paulson Kong Woei Susanto

Published in: TPHOLs (2007)

Keyphrases

interactive theorem proving
high resolution
three dimensional
data sets
image processing
higher level
databases
case study
image reconstruction
levels of abstraction
compressed sensing