Interactive Proof Presentations with Cobra.

Martin Ring Christoph Lüth

Published in: UITP (2016)

Keyphrases

user friendly
multimedia
graphical interface
theorem proving
user interaction
interactive video
decision trees
computer graphics
interactive exploration
data sets
linear logic
product configuration
theorem prover
expert systems
multi agent systems
high level
computer vision
data mining
real world