Interactive Proof Systems: Provers that never Fail and Random Selection (Extended Abstract)

Oded Goldreich Yishay Mansour Michael Sipser

Published in: FOCS (1987)

Keyphrases

extended abstract
theorem proving
random selection
support systems
decision trees
computer graphics
user friendly
interactive systems
learning algorithm
active learning
distributed systems