GeoThms - Geometry Framework

Authors

Abstract

GeoThms is a system that integrates Automatic Theorem Provers (ATP), Dynamic Geometry Tools (DGT) and a database, providing a framework for exploring geometrical knowledge. A GeoThms user can browse through a list of available geometric problems, their statements, illustrations, and proofs. He/she can also interactively produce new geometrical constructions, theorems, and proofs and add new results to the existing ones. GeoThms framework provides an environment suitable for new ways of studying and teaching geometry at different levels.

Keywords

Automated geometry theorem proving, Euclidean traditional proof, Area method, constructive geometry statements.

Subject

Automated theorem proving

TechReport Number

2006/002

PDF File