???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; .
Identificação

Identificação pessoal

Nome completo
Nuno Miguel dos Santos Baeta

Nomes de citação

  • Baeta, Nuno

Identificadores de autor

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

Websites

Domínios de atuação

  • Ciências Exatas - Matemática
  • Ciências Exatas - Matemática - Matemática Aplicada

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B1)
Formação
Grau Classificação
2018/10/01 - 2024/02/21
Concluído
Álgebra Computacional (Doutoramento)
Especialização em Matemática
Universidade Aberta, Portugal

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

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2017/02/06 - Atual Assistente Convidado (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Faculdade de Economia, Portugal
2010/11 - 2023/07/27 Assistente convidado (Docente Ensino Superior Politécnico) 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 Assistente (Docente Universitário) Universidade da Beira Interior, Portugal
Universidade da Beira Interior Departamento de Matemática, Portugal
1998/09 - 2003/03 Assistente Estagiário (Docente Universitário) Universidade da Beira Interior, Portugal
Universidade da Beira Interior Departamento de Matemática, Portugal
1994/03 - 1998/10 Assistente Estagiário (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
1991/06 - 1994/03 Monitor (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
Produções

Publicações

Artigo em conferência
  1. Baeta, Nuno; Quaresma, Pedro. "The full angle method on the OpenGeoProver". Trabalho apresentado em Theorem Proving Components for Educational Software (ThEdu 2013), Bath, 2013.
    Publicado
Artigo em revista
  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
Capítulo de livro
  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
Tese / Dissertação
  1. "Working Environment for Automated Deduction in Geometry". Doutoramento, 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". Mestrado, Universidade de Coimbra, 2013.
  3. Baeta, Nuno. "Máquinas de Turing". Mestrado, Universidade da Beira Interior, 2003.
  4. Baeta, Nuno. "Indecidibilidade em Extensões de Álgebras de Boole". Mestrado, Universidade da Beira Interior, 2003.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/09/16 Open Geometry Prover Community Project ADG 2021, 13th International Conference on Automated Deduction in Geometry
(Online, Áustria)
2014/07 Current Status of the I2GATP common format ADG 2014, 10th International Workshop on Automated Deduction in Geometry
Universidade de Coimbra (Coimbra, Portugal)

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2018/06/26 - 2018/06/29 Conference on Digital Tools in Mathematics Education (CADGME 2018) (2018/06/26 - 2018/06/29)
Conferência (Membro da Comissão Organizadora)
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)
Conferência (Membro da Comissão Organizadora)
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)
Oficina (workshop) (Membro da Comissão Organizadora)
Universidade de Coimbra Departamento de Matemática, Portugal