Bounded Round Interactive Proofs in Finite Groups.

Published in: SIAM J. Discret. Math. (1992)

Keyphrases

equational theories
virtual reality
user friendly
databases
computer vision
user interaction
computer graphics
learning algorithm
knowledge base
theorem proving
graphical interface
highly interactive
interactive video