% $Id: intro.tex,v 1.1 2006/02/02 17:15:27 pedro Exp pedro $

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

Aiming to build a framework for constructive geometry we have extended
an existing DGT (GCLC) with an automatic theorem prover module, this
ATP (GCLCprover) is based in the area method~\cite{Chou93,Quaresma06}.
We have also developed a conversion tool (euktogclcprover) to convert
Eukleides (another DGT) specifications to GCLC specification allowing
in this way to use the ATP with Eukleides. Finally we developed a
database for storing and retrieving geometric constructions and their
proofs. The theorem prover, the visualisation tools, and the database
are ``packed'' in a framework, given to all users an environment suitable
for the studying an teaching of geometry.

GeoThms~\cite{Quaresma06c}. is a system that integrates ATPs and DGTs
and a database, providing an Web interface where the users can easily
browse through the list of geometric problems, their statements,
illustrations and proofs, and also to interactively use the drawing
and automatic proof tools.  GeoThms is a set of {\sc PHP} scripts of
top of a {\sc MySQL} database.


In this report we only show the database contents, if the reader wants
to now more about GeoThms and its tools should
consult~\cite{Djoric04,Janicic03,Obrecht04,Quaresma06,Quaresma06c,Quaresma06a}.


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "fullListing.tex"
%%% End: 
