Non-Interactive Proofs of Proximity.

Tom Gur Ron Rothblum

Published in: Electron. Colloquium Comput. Complex. (2013)

Keyphrases

user friendly
computer graphics
data mining
mathematical proofs
information visualization
virtual reality
databases
user interface
random walk
user interaction
relational databases
digital libraries
image processing
theorem prover
information retrieval
highly interactive
formal proofs