Batch Processing of Interactive Proofs.

Koji Chida Go Yamamoto

Published in: CT-RSA (2007)

Keyphrases

batch processing
user friendly
virtual reality
scheduling jobs
database systems
user interaction
computer graphics
interactive learning
theorem prover
theorem proving
computer programs
interactive systems
formal proofs