A Proof Assistant for PSF.

Sjouke Mauw Gert J. Veltink

Published in: CAV (1991)

Keyphrases

image restoration
point spread function
test bed
theorem prover
motion blur
blur identification
information retrieval
information systems
blurred images
genetic algorithm
multi view
theorem proving