People

Nuno Baeta

Email

Member

Cognitive and Media Systems

Export publications Citations

Export publications BibTeX

Journal Articles

2020

(1 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)

Vanda Santos and Baeta, N. and Quaresma, P. , "Geometrography in Dynamic Geometry", The International Journal for Technology in Mathematics Education, vol. 26, 2019
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)

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

Conference Articles

2018

(1 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 [ DOI ]

2015

(1 publication)

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

2014

(1 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 [ DOI ]

2013

(1 publication)

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

Tech Report

2019

(1 publication)

Quaresma, P. and Baeta, N. , "Geometry Automated Theorem Provers Systems Competition 0.2 Report", 2019