Desirable features of educational theorem provers - a cognitive dimensions viewpoint.

Gada F. Kadoda Roger G. Stone Dan Diaper

Published in: PPIG (1999)

Keyphrases

viewpoint
theorem prover
feature vectors
feature extraction
first order logic
e learning
feature space
image features
d objects
feature set
computer algebra
semi supervised
inference rules
formal semantics
automated reasoning