DYNABOARD: User Animated Display of Deductive Proofs in Mathematics

Marc Kaltenbach, Claude Frasson. DYNABOARD: User Animated Display of Deductive Proofs in Mathematics. International Journal of Man-Machine Studies, 30(2):149-170, 1989.

Authors

Marc Kaltenbach

This author has not been identified. Look up 'Marc Kaltenbach' in Google

Claude Frasson

This author has not been identified. Look up 'Claude Frasson' in Google