A dynamic geometry environment for learning theorem proving

Many students of geometry theorem proving do not perform satisfactorily even when asked to prove simple theorems. Their problems might arise from their poor understanding of the involved geometric concepts, or from their ignorance of intermediate geometric propositions that are needed to derive the final conclusion. To address these issues, we propose a dynamic geometry environment for theorem proving that integrates the elements of exploration and theorem proving.