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

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

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