Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/507
Title: GeoThms - a Web System for Euclidean Constructive Geometry
Authors: Quaresma, Pedro
Janičić, Predrag 
Affiliations: Informatics and Computer Science 
Keywords: automated geometry theorem proving;dynamic geometry software;Web interfaces for proof systems
Issue Date: 15-May-2007
Journal: Electronic Notes in Theoretical Computer Science
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. © 2007 Elsevier B.V. All rights reserved.
URI: https://research.matf.bg.ac.rs/handle/123456789/507
ISSN: 15710661
DOI: 10.1016/j.entcs.2006.09.020
Appears in Collections:Research outputs

Show full item record

SCOPUSTM   
Citations

16
checked on Dec 20, 2024

Page view(s)

18
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.