# GeoThms - Geometry Framework

## Pedro Quaresma and Predrag Janicic

### April 24, 2006

### Abstract

GeoThms is a system that integrates Automatic Theorem Provers (ATP), Dynamic Geometry Software (DGS) 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.

- Contents
- Introduction
- The Framework
- The Database contents
- References