Rational proofs.

Pablo Daniel Azar Silvio Micali

Published in: STOC (2012)

Keyphrases

theorem proving
theorem prover
decision making
formal proofs
database systems
equational theories
mathematical proofs
data sets
information systems
formal proof