JGEX

An introduction to Java geometry expert. This paper gives a brief introduction to the system Java Geometry Expert (JGEX). This system consists of three parts: the drawing part, the proving and reasoning part, and the most distinctive part -- the part for generating visually dynamic presentation of proofs in plane geometry. The current version of JGEX is beta 0.80, which is available at our website woody: url{http://woody.cs.wichita.edu}.


References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  2. Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla: Towards the automatic discovery of theorems in geogebra (2016)
  3. 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)
  4. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  5. Jiang, Jianguo; Zhang, Jingzhong: A review and prospect of readable machine proofs for geometry theorems (2012)
  6. Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
  7. Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan: An introduction to Java geometry expert. (Extended abstract) (2011)
  8. Janičić, Predrag: Geometry constructions language (2010)
  9. 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)
  10. 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)
  11. Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio: A Maple package for automatic theorem proving and discovery in 3D-geometry (2007)