Journal Articles
2020(1 publication)
[publication]Quaresma, P. and Vanda Santos and Graziani, P. and Baeta, N. , "Taxonomies of Geometric Problems", Journal of Symbolic Computation,  vol. 97,  pp. 31-55, 2020

2019(2 publications)
[publication]Vanda Santos and Baeta, N. and Quaresma, P. , "Geometrography in Dynamic Geometry", The International Journal for Technology in Mathematics Education,  vol. 26, 2019

[publication]Baeta, N. and Quaresma, P. , "Ranking Geometric Automated Theorem Provers", Electronic Proceedings in Theoretical Computer Science,  vol. 290,  pp. 30-37, 2019

2018(1 publication)
[publication]Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications", EPTCS,  vol. 267,  pp. 108-119, 2018

Conference Articles
2018(1 publication)
[publication]Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications", in 7th International Workshop on Theorem proving components for Educational software, 2018

2015(1 publication)
[publication]Quaresma, P. and Baeta, N. , "Current Status of the I2GATP common format", in Automated Deduction in Geometry (ADG2014), 2015

2014(1 publication)
[publication]Quaresma, P. and Baeta, N. , "Current Status of the I2GATP Common Format", in 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. , 2014

2013(1 publication)
[publication]Baeta, N. and Quaresma, P. , "The full angle method on the OpenGeoProver", in ThEdu'13, TP Components for Educational Software, 2013

Tech Report
2019(1 publication)
[publication]Quaresma, P. and Baeta, N. , "Geometry Automated Theorem Provers Systems Competition 0.2 Report", 2019