Quantum interactive proofs with short messages
Salman BeigiPeter W. ShorJohn WatrousPublished in: CoRR (2010)
Keyphrases
- short messages
- mobile phone
- virtual reality
- user interaction
- computer graphics
- user friendly
- quantum mechanics
- theorem proving
- equational theories
- database
- quantum computation
- highly interactive
- product configuration
- graphical interface
- multi agent systems
- image sequences
- genetic algorithm
- information retrieval