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

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

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