???global.info.a_carregar???
Nuno Miguel dos Santos Baeta. Concluiu o(a) Mestrado em Matemática em 2013 pelo(a) Universidade de Coimbra Departamento de Matemática e Licenciatura em Matemática em 1993 pelo(a) Universidade de Coimbra Departamento de Matemática. Frequenta o(a) Doutoramento em Álgebra Computacional pelo(a) Universidade Aberta desde 2018/10/01. É Assistente convidado no(a) Instituto Politécnico de Coimbra Instituto Superior de Engenharia de Coimbra e Assistente Convidado no(a) Universidade de Coimbra. Publicou 4 artigos em revistas especializadas. Possui 1 capítulo(s) de livros. Organizou 3 evento(s). Nas suas atividades profissionais interagiu com 2 colaborador(es) em coautorias de trabalhos científicos. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: raciocínio automático; geometria; educação; ferramentas digitais; .
Read full resume ↓
Identification

Personal identification

Full name
Nuno Miguel dos Santos Baeta

Citation names

  • Baeta, Nuno

Author identifiers

Ciência ID
DA1B-63A8-4FB8
ORCID iD
0000-0002-1629-7924

Websites

Knowledge fields

  • Exact Sciences - Mathematics
  • Exact Sciences - Mathematics - Applied Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Upper intermediate (B2) Upper intermediate (B2) Intermediate (B1) Upper intermediate (B2) Intermediate (B1)
Education
Degree Classification
2018/10/01 - 2024/02/21
Concluded
 Álgebra Computacional (Doutoramento)
Major in Matemática
Universidade Aberta, Portugal

Universidade de Coimbra, Portugal
"Working Environment for Automated Deduction in Geometry" (THESIS/DISSERTATION)
 Aprovado com distinção
2013
Concluded
 Matemática (Mestrado)
Major in Computação
Universidade de Coimbra Departamento de Matemática, Portugal
"O Método do Ângulo Completo no Sistema OpenGeoProver" (THESIS/DISSERTATION)
 16
2003
Concluded
 Provas de Aptidão Pedagógica e Capacidade Científica (Outros)
Major in Matemática
Universidade da Beira Interior Departamento de Matemática, Portugal
 Muito bom
1993
Concluded
 Matemática (Licenciatura)
Major in Ciências da Computação
Universidade de Coimbra Departamento de Matemática, Portugal
 15
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2017/02/06 - Current Invited Assistant (University Teacher) Universidade de Coimbra, Portugal
Universidade de Coimbra Faculdade de Economia, Portugal
2010/11 - 2023/07/27 Invited Assistant (Polytechnic Teacher) Instituto Politécnico de Coimbra Instituto Superior de Engenharia de Coimbra, Portugal
Instituto Politécnico de Coimbra Instituto Superior de Engenharia de Coimbra, Portugal
2003/03 - 2010/09 Assistant (University Teacher) Universidade da Beira Interior, Portugal
Universidade da Beira Interior Departamento de Matemática, Portugal
1998/09 - 2003/03 Trainee Assistant (University Teacher) Universidade da Beira Interior, Portugal
Universidade da Beira Interior Departamento de Matemática, Portugal
1994/03 - 1998/10 Trainee Assistant (University Teacher) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
1991/06 - 1994/03 Tutor (University Teacher) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
Outputs

Publications

Book chapter
  1. Quaresma, Pedro; Baeta, Nuno. "Current Status of the I2GATP Common Format". In Lecture Notes in Computer Science, 119-128. Springer International Publishing, 2015.
    10.1007/978-3-319-21362-0_8
Conference paper
  1. Baeta, Nuno; Quaresma, Pedro. "The full angle method on the OpenGeoProver". Paper presented in Theorem Proving Components for Educational Software (ThEdu 2013), Bath, 2013.
    Published
Journal article
  1. Nuno Baeta; Pedro Quaresma. "Towards a geometry deductive database prover". Annals of Mathematics and Artificial Intelligence (2023): https://doi.org/10.1007/s10472-023-09839-0.
    10.1007/s10472-023-09839-0
  2. Baeta, Nuno; Quaresma, Pedro. "Open Geometry Prover Community Project". Electronic Proceedings in Theoretical Computer Science 352 (2021): 129-138. http://dx.doi.org/10.4204/eptcs.352.14.
    10.4204/eptcs.352.14
  3. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno. "Taxonomies of geometric problems". Journal of Symbolic Computation 97 (2020): 31-55. http://dx.doi.org/10.1016/j.jsc.2018.12.004.
    10.1016/j.jsc.2018.12.004
  4. Baeta, Nuno; Quaresma, Pedro; Kovács, Zoltán. "Towards a Geometry Automated Provers Competition". Electronic Proceedings in Theoretical Computer Science 313 (2020): 93-100. http://dx.doi.org/10.4204/eptcs.313.6.
    10.4204/eptcs.313.6
  5. Baeta, Nuno; Quaresma, Pedro. "Towards Ranking Geometric Automated Theorem Provers". Electronic Proceedings in Theoretical Computer Science 290 (2019): 30-37. http://dx.doi.org/10.4204/eptcs.290.3.
    10.4204/eptcs.290.3
  6. SANTOS, VANDA; Baeta, Nuno; Quaresma, Pedro. "Geometrography in Dynamic Geometry". The International Journal for Technology in Mathematics Education 26 2 (2019): 89-96.
  7. Quaresma, Pedro; Santos, Vanda; Baeta, Nuno. "Exchange of Geometric Information Between Applications". Electronic Proceedings in Theoretical Computer Science 267 (2018): 108-119. http://dx.doi.org/10.4204/eptcs.267.7.
    10.4204/eptcs.267.7
Thesis / Dissertation
  1. "Working Environment for Automated Deduction in Geometry". PhD, Universidade de Coimbra - Departamento de Matemática da Faculdade de Ciências e Tecnologia, 2024.
  2. Baeta, Nuno. "O Método do Ângulo Completo no Sistema OpenGeoProver". Master, Universidade de Coimbra, 2013.
  3. Baeta, Nuno. "Máquinas de Turing". Master, Universidade da Beira Interior, 2003.
  4. Baeta, Nuno. "Indecidibilidade em Extensões de Álgebras de Boole". Master, Universidade da Beira Interior, 2003.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2021/09/16 Open Geometry Prover Community Project ADG 2021, 13th International Conference on Automated Deduction in Geometry
(Online, Austria)
2014/07 Current Status of the I2GATP common format ADG 2014, 10th International Workshop on Automated Deduction in Geometry
Universidade de Coimbra (Coimbra, Portugal)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018/06/26 - 2018/06/29 Conference on Digital Tools in Mathematics Education (CADGME 2018) (2018/06/26 - 2018/06/29)
Conference (Member of the Organising Committee)
 Universidade de Coimbra Departamento de Matemática, Portugal
2016/06/27 - 2016/07/02 International Joint Conference on Automated Reasoning (IJCAR 2016) (2016/06/27 - 2016/07/02)
Conference (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2014/07/09 - 2014/07/11 10th International Workshop on Automated Deduction in Geometry (ADG 2014) (2014/07/09 - 2014/07/11)
Workshop (Member of the Organising Committee)
 Universidade de Coimbra Departamento de Matemática, Portugal