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

Showing results 1 to 12 of 12.
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. Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.: Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems (2018)
  4. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  5. Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.: Race against the teens -- benchmarking mechanized math on pre-university problems (2016)
  6. Chen, Xiaoyu; Song, Dan; Wang, Dongming: Automated generation of geometric theorems from images of diagrams (2015)
  7. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  8. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  9. Haralambous, Yannis; Quaresma, Pedro: Querying geometric figures using a controlled language, ontological graphs and dependency lattices (2014)
  10. Wang, Dongming; Chen, Xiaoyu; An, Wenya; Jiang, Lei; Song, Dan: Opengeo: an open geometric knowledge base (2014)
  11. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  12. Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)