Diagramming Mathematical Proofs Based on Logical Structures for Learners.

Takayuki Watabe Yoshinori Miyazaki

Published in: HCI (27) (2014)

Keyphrases

mathematical proofs
e learning
learning experience
learning process
learning environment
collaborative learning
learning activities
learning resources
learning systems
learning processes
learning styles
learning materials
learning scenarios
theorem prover
concept mapping
neural network