Some Considerations on the Usability of Interactive Provers.

Andrea Asperti Claudio Sacerdoti Coen

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

interaction design
interactive video
user interaction
virtual reality
theorem prover
real world
evolutionary algorithm
computer graphics
information visualization
data visualization
usability studies
user interface design
educational software
highly interactive
user centered
data sets
multi agent
neural network