Constant-Round Interactive Proofs for Delegating Computation.

Omer Reingold Ron Rothblum Guy N. Rothblum

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

Keyphrases

computer graphics
user friendly
highly interactive
databases
machine learning
case study
three dimensional
mobile robot
virtual reality
theorem prover
data visualization
interactive learning
interactive video
formal proof