Real Interactive Proofs for VPSPACE.

Martijn Baartse Klaus Meer

Published in: MFCS (2016)

Keyphrases

digital libraries
real life
virtual reality
user friendly
highly interactive
real world
graphical interface
multiscale
expert systems
virtual environment
theorem prover
data visualization