Non-interactive Classical Verification of Quantum Computation.

Gorjan Alagic Andrew M. Childs Alex B. Grilo Shih-Han Hung

Published in: TCC (3) (2020)

Keyphrases

quantum computation
highly interactive
virtual reality
model checking
user interaction
computer graphics
user friendly
interactive learning
database
real time
neural network
information systems
artificial neural networks
visualization tool