Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Geothms - Geometry Framework
Posted:
May 3, 2006 7:36 AM
|
|
Geothms (© Pedro Quaresma & Predrag Janicic)
is now accessible from: http://hilbert.mat.uc.pt/~geothms
GeoThms is a system that integrates Automatic Theorem Provers (ATP),
Dynamic Geometry Software (DGS) 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.
Feedback welcome.
Pedro Quaresma, http://www.mat.uc.pt/~pedro
University of Coimbra
Predrag Janicic, http://www.matf.bg.ac.yu/~janicic/
University of Belgrade
|
|
|
|
