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

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

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