Interactive Proof Critics.

Andrew Ireland Mike Jackson Gordon Reid

Published in: Formal Aspects Comput. (1999)

Keyphrases

computer graphics
theorem prover
data visualization
user friendly
databases
e learning
clustering algorithm
objective function
evolutionary algorithm
hidden markov models
user interaction
virtual reality
graphical interface
product configuration
linear logic
proof planning