GEX
Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic models which can do reasoning themselves. 1) Geometry Expert (GEX) is a powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best of human geometry provers. It implements most of the effective methods for geometric reasoning introduced in the past twenty years, including the deductive base method, Wu’s method, the area method, the Groebner basis method, the vector method, and the full-angle method. With these methods, users may automated prove geometry theorems, to discover new prrperties of theorems, and to generate readable proofs for mant geometry throerms. 2) By dynamic visual models, we mean models built by computer softwares that can be changed dynamically. With GEX, we can build four classes of dynamic visual models: geometric transformations, loci generation, diagrams of functions, and loci generation.
Keywords for this software
References in zbMATH (referenced in 23 articles )
Showing results 1 to 20 of 23.
Sorted by year (- 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)
- Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
- Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
- Abánades, Miguel Á.; Botana, Francisco; Escribano, Jesús: Automated generation of equations for linkage loci in a game physics system (2014)
- 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)
- Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
- Escribano, Jesús; Botana, Francisco; Abánades, Miguel A.: Adding remote computational capabilities to dynamic geometry systems (2010)
- Janičić, Predrag: Geometry constructions language (2010)
- Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio: Connecting the 3D DGS Calques3D with the CAS Maple (2010)
- Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan: Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (2010)
- Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan: Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (2010)
- Isotani, Seiji; de Oliveira Brandão, Le^onidas: An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom (2008)
- Narboux, Julien: A graphical user interface for formal proofs in geometry (2007)
- Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
- Tang, Jianliang; Chen, Wensheng: Solution classification for the nonperspective-three-point problem (2006)
- Li, Ming; Gao, Xiao-Shan; Cheng, Jin-San: Generating symbolic interpolants for scattered data with normal vectors (2005)
- Botana, Francisco; Valcarce, José L.: Automatic determination of envelopes and other derived curves within a graphic environment (2004)
- Gräbe, Hans-Gert: The SymbolicData GEO records -- a public repository of geometry theorem proof schemes (2004)