Non-Locality in Interactive Proofs.

Claude Crépeau Nan Yang

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

Keyphrases

computer graphics
virtual reality
graphical interface
user friendly
computer vision
user interaction
theorem proving
social networks
decision trees
multi agent
data structure
theorem prover
data visualization
spatial locality