@article{keyhere,
	title = {GeoThms -- a Web System for Euclidean Constructive Geometry},
	author = {Pedro Quaresma and Predrag Janicic},
	booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006)},
	journal = {Electronic Notes in Theoretical Computer Science},
	month = {#may#},
	number = {2},
	pages = {35--48},
	url = {http://www.sciencedirect.com/science/article/B75H1-4NPFVJS-4/1/e9b048eb2b83270991fc70ca091ed0dc},
	volume = {174},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2196ed54532dc7430b67ecd8584026832/toni},
	description = {ScienceDirect - Electronic Notes in Theoretical Computer Science : GeoThms — a Web System for Euclidean Constructive Geometry},
	abstract = {GeoThms is a web-based framework for exploring geometrical knowledge that integrates Dynamic Geometry Software (DGS), Automatic Theorem Provers (ATP), and a repository of geometrical constructions, figures and proofs. The GeoThms users can easily use/browse through existing geometrical content and build new contents. In this paper we describe GeoThms functionalities, focusing on the interface solutions required for a system aimed at supporting studying and teaching geometry via Internet. GeoThms is a publicly accessible system with a growing body of geometrical constructions and formally proven geometrical theorems. We believe that, with the help of all its users it will become an important Internet resource for geometry.},
	keywords = {Web automated dynamic for geometry interfaces proof proving pt software systems theorem }
}