Tangled Interactive Proofs.

Avishy Y. Carmi Daniel Moskovich

Published in: CoRR (2014)

Keyphrases

virtual reality
formal proofs
databases
data mining
relational databases
theorem proving
product configuration
highly interactive
data sets
learning algorithm
artificial intelligence
information systems
data analysis
user interaction
user friendly
theorem prover