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)