Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies.
Tsuyoshi ItoHirotada KobayashiKeiji MatsumotoPublished in: Computational Complexity Conference (2009)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- multiscale
- denoising
- image denoising
- decision procedures
- image restoration
- virtual reality
- mathematical proofs
- real time
- formal proofs
- proof search
- interactive video
- interactive systems
- graphical interface
- selection strategies
- prior model
- user friendly
- first order logic
- user interaction
- knowledge base
- computer vision
- databases