Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies

Tsuyoshi Ito Hirotada Kobayashi Keiji Matsumoto

Published in: CoRR (2008)

Keyphrases

theorem proving
theorem prover
proof search
automated theorem proving
denoising
user interaction
virtual reality
image denoising
database
website
data analysis
computer graphics
prior model
mathematical proofs
online auctions
first order logic
bayesian networks
genetic algorithm
machine learning