Start Where They Are: Geometry as an Introduction to Proof.

James E. McClure

Published in: Am. Math. Mon. (2000)

Keyphrases

geometry theorem proving
theorem proving
theorem prover
three dimensional
geometric structure
geometric information
case study
database systems
projective geometry
proof planning
learning algorithm
decision making
face recognition
mobile robot
geometric constraints