GeoThms is a system that integrates Automatic Theorem Provers (ATP),Dynamic Geometry Software (DGS) and a database, providing a frameworkforexploring geometrical knowledge.

A GeoThms user can browse through a list of available geometricproblems, their statements, illustrations, and proofs. He/she canalso 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 ofstudying and teaching geometry at different levels.