Login / Signup

Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems.

Tsuyoshi ItoHirotada KobayashiDaniel PredaXiaoming SunAndrew Chi-Chih Yao
Published in: Computational Complexity Conference (2008)
Keyphrases
  • theorem proving
  • theorem prover
  • management system
  • distributed systems
  • interactive systems
  • database
  • search engine
  • computer graphics
  • user friendly
  • computer vision
  • expert systems
  • linear program
  • proof search