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

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

  1. Selaković, Milica; Marinković, Vesna; Janičić, Predrag: New dynamics in dynamic geometry: dragging constructed points (2020)
  2. Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag: Portfolio theorem proving and prover runtime prediction for geometry (2019)
  3. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  4. Billich, Martin: The area method and proving plane geometry theorems (2015)
  5. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  6. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  7. Haralambous, Yannis; Quaresma, Pedro: Querying geometric figures using a controlled language, ontological graphs and dependency lattices (2014)
  8. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  9. Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
  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. Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)
  13. Janičić, Predrag: Geometry constructions language (2010)
  14. Janičić, Predrag; Quaresma, Pedro: Automatic verification of regular constructions in dynamic geometry systems (2007)
  15. Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
  16. Janičić, Predrag: GCLC -- a tool for constructive Euclidean geometry and more than that (2006)
  17. Janičić, Predrag; Quaresma, Pedro: System description: GCLCprover + GeoThms (2006) ioport
  18. Quaresma, Pedro; Janičić, Predrag: Integrating dynamic geometry software, deduction systems, and theorem repositories (2006)