Perfect zero knowledge for quantum multiprover interactive proofs.
Alex Bredariol GriloWilliam SlofstraHenry YuenPublished in: Electron. Colloquium Comput. Complex. (2019)
Keyphrases
- domain knowledge
- data sets
- knowledge management
- knowledge representation
- expert systems
- prior knowledge
- knowledge based systems
- computer graphics
- virtual reality
- knowledge sharing
- human experts
- knowledge extraction
- real time
- knowledge transfer
- theorem prover
- knowledge sources
- user friendly
- learning systems
- user interaction
- machine learning
- databases