DYNABOARD: User Animated Display of Deductive Proofs in Mathematics.

Marc Kaltenbach Claude Frasson

Published in: Int. J. Man Mach. Stud. (1989)

Keyphrases

user interface
data sets
machine learning
computer science
real time
user interaction
user profiles
user experience
mathematical knowledge
database
computer screen
computer algebra
visual feedback
user model
relevance feedback
artificial intelligence
information retrieval
neural network