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 16 articles , 1 standard article )

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

  1. Miroslav Olšák: GeoLogic - Graphical interactive theorem prover for Euclidean geometry (2020) arXiv
  2. Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
  3. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno: Taxonomies of geometric problems (2020)
  4. Boutry, Pierre; Braun, Gabriel; Narboux, Julien: Formalization of the arithmetization of Euclidean plane geometry and applications (2019)
  5. Kovács, Z.; Recio, T.; Sólyom-Gecse, C.: Rewriting input expressions in complex algebraic geometry provers (2019)
  6. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  7. 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)
  8. 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)
  9. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  10. Jiang, Jianguo; Zhang, Jingzhong: A review and prospect of readable machine proofs for geometry theorems (2012)
  11. Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
  12. Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan: An introduction to Java geometry expert. (Extended abstract) (2011)
  13. Janičić, Predrag: Geometry constructions language (2010)
  14. 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)
  15. 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)
  16. Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio: A Maple package for automatic theorem proving and discovery in 3D-geometry (2007)