People
Nuno Baeta
Member
Cognitive and Media SystemsJournal Articles
2018
(1 publication)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 ]