\begin{abstract}
  {\em GeoThms} is a data base of geometric theorems aiming to provide
  a common repository of theorems and proofs in the area of
  constructive proofs of Euclidean Geometry theorems.

  \vspace{1em}
  {\bf keywords:} Machine Proof, automated geometry theorem proving,
  Euclidean traditional proof, area method, Pythagoras difference,
  constructive geometry statements.
\end{abstract}

\section{Introduction}
\label{sec:intro}

This Technical Report contains all the results contained in the
GeoThms database. Before the actual listing the lemmas necessary to
the proofs are presented. The complete text with all the
demonstrations is {\em Automated Production of Readable Proofs for
  Theorems in Euclidean Geometry}, Pedro Quaresma and Predrag Jani\v ci\'c,
CISUC, TR 2006/001.

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

