• Path
  • Home
  • News
  • The Centre
  • Research Groups
  • People
  • Projects
  • Publications
  • Tech Reports
  • Open Positions
  • Events
  • How to get to CISUC

Member Access

People

Nuno Baeta

Email

Member

Cognitive and Media Systems



Export publications Citations
Export publications BibTeX

Journal Articles

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 ]



 
UC.PT
University of Coimbra 2019
Portugal - WEST GMT