People
Nuno Baeta
Email
Member
Cognitive and Media Systems
Journal Articles
2020
(1 publication) 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) Conference Articles
2018
(1 publication) 2015
(1 publication) 2014
(1 publication) 2013
(1 publication) Tech Report