\begin{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. 

  This text contains the full contents of the database, for each
  theorem in the database its statement, its geometric representation
  and its proof, this last ones if present in the database, are
  showned.

  \vspace{1em} {\bf keywords:} Automated geometry theorem proving,
  Euclidean traditional proof, Area method, constructive geometry
  statements.

\end{abstract}



