Constant-Soundness Interactive Proofs for Local Hamiltonians.

Anand Natarajan Thomas Vidick

Published in: CoRR (2015)

Keyphrases

theorem prover
hidden markov models
computer graphics
graphical interface
multimedia
multiscale
knowledge representation
user interaction
virtual reality
interactive visualization
interactive systems
product configuration
interactive video