New Perspectives on Multi-Prover Interactive Proofs.

Claude Crépeau Nan Yang

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

theorem proving
theorem prover
automated theorem proving
highly interactive
user interaction
first order logic
interactive video
virtual reality
data sets
decision trees
natural language
multi agent systems
computer graphics
user friendly
information visualization
formal proof