GeoThms -- A Framework for Euclidian Geometry
You can register as a 'Regular User' or as a 'Contributer', this
last type is subject to validation by the administrators of
GeoThms
Regular User - You will have access to see all the info, you will not be able to modify any info.
Contributer - You will have access to all the info.
- Links
-
- Downloads
-
- XML suite
-
-
geo-xml.zip
-
Pedro Quaresma, Predrag Janicic, Jelena Tomasevic, Milena Vujosevic-Janicic,
Dusan Tosic,
XML-based Format for Descriptions of Geometrical Constructions and
Geometrical Proofs (draft version) ,
Proceedings of the CMDE2006, Aveiro, Portugal, August 15-18, 2006.
- GeoThms Documentation
-
-
Predrag Janicic and Pedro Quaresma,
Automatic Verification of Regular Constructions in
Dynamic Geometry Systems (draft version)
,
Proceedings of the ADG06, Pontevedra, Spain, August 31 to September 2,
2006.
-
Pedro Quaresma and Predrag Janicic,
GeoThms - a Web System for Euclidean Constructive Geometry (preprint)
,
Proceedings of the UITP'06, Seattle, USA, August 21, 2006.
-
Predrag Janicic and Pedro Quaresma,
System Description: GCLCprover + GeoThms (draft version)
,
U. Furbach and N. Shankar (Eds.), IJCAR 2006, LNAI 4130, pp 145-150, 2006,
Springer-Verlag, Heildelberg, 2006.
-
Pedro Quaresma and Predrag Janicic,
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem
Repositories (draft version)
,
J.M. Borwein and W.M. Farmer (Eds), MKM 2006, LNAI 4108, pp 280-294, 2006,
Springer-Verlag, Heildelberg, 2006.
-
Pedro Quaresma e Ana Pereira,
Visualização de Construções
Geométricas (draft version)
,
Gazeta de Matemática
151, Julho de 2006, Lisboa (in Portuguese).
-
CISUC TR 2006/002 - GeoThms - Geometry Framework -
(HTML,
PDF)
-
CISUC TR 2006/001 - Framework for Constructive Geometry (Based on
the Area Method) -
(PDF)
This is an ongoing project -- Pedro Quaresma & Predrag Janicic