GEOTHER 1.1 swMATH ID: 2842 Software Authors: Dongming Wang Description: GEOTHER (GEOmetry THeorem provER), a module of Epsilon, is an environment implemented by Dongming Wang in Maple with drawing routines and interface written previously in C and now in Java for manipulating and proving geometric theorems. In GEOTHER a theorem is specified by means of predicates of the form Theorem(H,C,X) asserting that H implies C, where H and C are lists or sets of predicates that correspond to the geometric hypotheses and the conclusion of the theorem, and the optional X is a list of variables used for internal computation. The information contained in the specification may be all that is needed in order to manipulate and prove the theorem. From the specification, GEOTHER can automatically assign coordinates to each point in some optimal manner; translate the predicate representation of the theorem into an English or Chinese statement, into a first-order logical formula, or into algebraic expressions; draw one or several diagrams for the theorem - the drawn diagrams may be animated and modified with a mouse click and dragging, and saved as PostScript files; prove the theorem using any of the five algebraic provers; translate the generated algebraic nondegeneracy conditions into geometric/predicate form; generate an HTML, LaTeX, and/or PostScript file documenting the theorem and its proof. Homepage: http://www-salsa.lip6.fr/~wang/GEOTHER/ Programming Languages: Maple Operating Systems: Windows, MacOS, Linux Dependencies: Maple Keywords: keywords Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; GeoProof; MMP/Geometer; Cinderella; Intergeo; Geometer's Sketchpad; Coq; JGEX; GeoView; Maple; Lugares; Geometry Expressions; SymbolicData; Theorema; Mathematica; SINGULAR Cited in: 31 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year GEOTHER 1.1: handling and proving geometric theorems automatically. Zbl 1202.68390Wang, Dongming 2004 all top 5 Cited by 40 Authors 11 Wang, Dongming 7 Chen, Xiaoyu 5 Janičić, Predrag 3 Botana, Francisco 3 Kovács, Zoltán 3 Quaresma, Pedro 2 Hong, Hoon 2 Liang, Tielin 2 Roanes-Lozano, Eugenio 2 Roanes-Macías, Eugenio 2 Song, Dan 1 Abánades, Miguel Angel 1 An, Wenya 1 Davenport, James Harold 1 Génevaux, Jean-David 1 Ghourabi, Fadoua 1 Gräbe, Hans-Gert 1 Han, Jesse Michael 1 Hohenwarter, Markus 1 Hou, Xiaorong 1 Huang, Ying 1 Ida, Tetsuo 1 Jiang, Lei 1 Kasem, Asem 1 Krueger, Ryan 1 Li, Hongbo 1 Li, Liyun 1 Marinković, Vesna 1 Narboux, Julien 1 Nikolić, Mladen 1 Petrovic, Ivan 1 Recio, Tomas 1 Schreck, Pascal 1 Selsam, Daniel 1 Todd, Philip H. 1 Van Labeke, Nicolas 1 Weitzhofer, Simon 1 Winkler, Franz 1 Yang, Lu 1 Zhao, Ting all top 5 Cited in 9 Serials 2 Mathematics and Computers in Simulation 2 Journal of Automated Reasoning 2 Mathematics in Computer Science 1 The Mathematical Intelligencer 1 Journal of Symbolic Computation 1 Computational Geometry 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Systems Science and Complexity 1 Lecture Notes in Computer Science all top 5 Cited in 7 Fields 28 Computer science (68-XX) 10 Geometry (51-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Field theory and polynomials (12-XX) 1 Numerical analysis (65-XX) Citations by Year