Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction.

Allen Leung Francis Lopez-Real

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

Keyphrases

three dimensional
geometry theorem proving
dynamic environments
theorem proving
interactive theorem proving
genetic algorithm
social networks
artificial neural networks
case based reasoning
theorem prover
geometric information
convergence theorem