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

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

  1. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  2. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  3. Haralambous, Yannis; Quaresma, Pedro: Querying geometric figures using a controlled language, ontological graphs and dependency lattices (2014)
  4. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  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. Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
  8. Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)
  9. Janičić, Predrag: Geometry constructions language (2010)
  10. Janičić, Predrag; Quaresma, Pedro: Automatic verification of regular constructions in dynamic geometry systems (2007)
  11. Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
  12. Janičić, Predrag: GCLC -- a tool for constructive Euclidean geometry and more than that (2006)
  13. Janičić, Predrag; Quaresma, Pedro: System description: GCLCprover + GeoThms (2006) ioport
  14. Quaresma, Pedro; Janičić, Predrag: Integrating dynamic geometry software, deduction systems, and theorem repositories (2006)