GeoThms
GeoThms -- a web system for Euclidean constructive geometry 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 for this software
References in zbMATH (referenced in 25 articles , 1 standard article )
Showing results 1 to 20 of 25.
Sorted by year (- Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
- Selaković, Milica; Marinković, Vesna; Janičić, Predrag: New dynamics in dynamic geometry: dragging constructed points (2020)
- Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag: Portfolio theorem proving and prover runtime prediction for geometry (2019)
- Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
- Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon: Automated theorem proving in GeoGebra: current achievements (2015)
- Chen, Xiaoyu; Song, Dan; Wang, Dongming: Automated generation of geometric theorems from images of diagrams (2015)
- Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
- Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
- Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
- Haralambous, Yannis; Quaresma, Pedro: Querying geometric figures using a controlled language, ontological graphs and dependency lattices (2014)
- Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
- Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
- Jiang, Jianguo; Zhang, Jingzhong: A review and prospect of readable machine proofs for geometry theorems (2012)
- Pham, Tuan Minh; Bertot, Yves: A combination of a dynamic geometry software with a proof assistant for interactive formal proofs (2012)
- Billich, Martin: Computer proofs in plane geometry (2011)
- Chen, Xiaoyu; Huang, Ying; Wang, Dongming: On the design and implementation of a geometric knowledge base (2011)
- Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
- Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)
- Janičić, Predrag: Geometry constructions language (2010)
- Borwein, Jonathan M. (ed.); Rocha, Eugénio M. (ed.); Rodrigues, José Francisco (ed.): Communicating mathematics in the digital era (CMDE 2006). Selected papers based on the presentations at the meeting (CMDE 2006), Aveiro, Portugal, August 15--18, 2006. (2008)