Interactive proofs with efficient quantum prover for recursive Fourier sampling.

Matthew McKague

Published in: Chic. J. Theor. Comput. Sci. (2012)

Keyphrases

theorem prover
theorem proving
fourier spectrum
monte carlo
real time
data sets
information retrieval
lightweight
neural network
computer vision
high resolution
user interaction
frequency domain
computer graphics
cost effective
sampling algorithm