References in zbMATH (referenced in 15 articles )

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

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