Using Dynamic Geometry Software to Gain Insight into a Proof.

Published in: Int. J. Comput. Math. Learn. (2008)

Keyphrases

software systems
dynamic environments
geometric features
software tools
geometry theorem proving
data sets
commercial software
software package
theorem proving
software development
user interface
social networks
development process
source code
software application
artificial intelligence
machine learning