Some Results on Interactive Proofs for Real Computations.

Martijn Baartse Klaus Meer

Published in: CiE (2015)

Keyphrases

real life
user friendly
theorem proving
formal proof
data sets
probabilistic model
human computer interaction
virtual reality
interactive systems