On Quantum Interactive Proofs with Short Messages.

Attila Pereszlényi

Published in: Chic. J. Theor. Comput. Sci. (2012)

Keyphrases

short messages
theorem proving
data sets
mobile phone
information visualization
virtual reality
data visualization
quantum computation
interactive learning
computer graphics
user interaction
social media
product configuration
multi agent systems
quantum inspired
formal proofs
data mining