GeoProof

This program is an interactive geometry software with proof related features. The project consist in producing an interactive proof software for geometry. GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems. (Source: http://freecode.com/)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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

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

  1. Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
  2. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno: Taxonomies of geometric problems (2020)
  3. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  4. 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)
  5. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  6. Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
  7. Jiang, Jianguo; Zhang, Jingzhong: A review and prospect of readable machine proofs for geometry theorems (2012)
  8. Pham, Tuan Minh; Bertot, Yves: A combination of a dynamic geometry software with a proof assistant for interactive formal proofs (2012)
  9. Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
  10. Ghourabi, Fadoua; Ida, Tetsuo; Kasem, Asem: Proof documents for automated origami theorem proving (2011)
  11. Kaliszyk, Cezary; Ida, Tetsuo: Proof assistant decision procedures for formalizing origami (2011)
  12. Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)
  13. Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
  14. Janičić, Predrag: Geometry constructions language (2010)
  15. Aspinall, David; Autexier, Serge; Lüth, Christoph; Wagner, Marc: Towards merging Plat(\Omega) and PGIP (2009) ioport
  16. Narboux, Julien: A graphical user interface for formal proofs in geometry (2007)
  17. Narboux, Julien: Mechanical theorem proving in Tarski’s geometry (2007)