GEX swMATH ID: 9961 Software Authors: Gao, X.-S. Description: 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. Homepage: http://www.mmrc.iss.ac.cn/gex/ Related Software: GeoGebra; JGEX; GeoProof; GCLC; GeoThms; GEOTHER 1.1; Cinderella; Geometer's Sketchpad; GCLCprover; Coq; MMP/Geometer; OpenGeoProver; GeoView; gcl; Mathematica; SINGULAR; CoCoA; ArgoCLP; Lugares; Giac Cited in: 35 Documents all top 5 Cited by 38 Authors 8 Quaresma, Pedro 6 Botana, Francisco 6 Gao, Xiaoshan 6 Janičić, Predrag 5 Kovács, Zoltán 5 Narboux, Julien 4 Chou, Shangching 3 Ye, Zheng 2 Baeta, Nuno 2 Graziani, Pierluigi 2 Recio, Tomas 2 Valcarce, José L. 2 Zhang, Jingzhong 1 Abánades, Miguel Angel 1 Bertot, Yves 1 Boutry, Pierre 1 Braun, Gabriel 1 Chen, Hangfei 1 Chen, Wensheng 1 Chen, Xiaoyu 1 Génevaux, Jean-David 1 Gräbe, Hans-Gert 1 Hohenwarter, Markus 1 Jiang, Jianguo 1 Marinković, Vesna 1 Nikolić, Mladen 1 Olšák, Miroslav 1 Petrovic, Ivan 1 Pham, Tuan Minh 1 Roanes-Lozano, Eugenio 1 Roanes-Macías, Eugenio 1 Santos, Vanda 1 Schreck, Pascal 1 Sólyom-Gecse, Csilla 1 Tang, Jianliang 1 Van Labeke, Nicolas 1 Weitzhofer, Simon 1 Zhu, Changcai all top 5 Cited in 8 Serials 7 Journal of Automated Reasoning 5 Annals of Mathematics and Artificial Intelligence 4 Mathematics and Computers in Simulation 2 Journal of Symbolic Computation 2 Journal of Computer Science and Technology 2 Journal of Systems Science and Complexity 2 Mathematics in Computer Science 1 Computational Geometry all top 5 Cited in 9 Fields 34 Computer science (68-XX) 14 Geometry (51-XX) 4 Mathematical logic and foundations (03-XX) 3 Mathematics education (97-XX) 2 Numerical analysis (65-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year