A Multiprover Interactive Proof System for the Local Hamiltonian Problem.

Joseph F. Fitzsimons Thomas Vidick

Published in: ITCS (2015)

Keyphrases

neural network
modal logic
user interaction
computer graphics
virtual reality
user friendly
graphical interface
real time
databases
learning algorithm
data analysis
evolutionary algorithm
information visualization
interactive learning
highly interactive