Pseudo-Deterministic Proofs.

Shafi Goldwasser Ofer Grossman Dhiraj Holden

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

theorem proving
black box
theorem prover
real time
computer vision
database systems
information technology
hidden markov models
neural network
image processing
expert systems
multiresolution
stochastic methods
equational theories
mathematical proofs
pseudo random number