???global.info.a_carregar???
Nuno Miguel dos Santos Baeta. Publicou 1 artigos em revistas especializadas.
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

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 - 2021
Em curso
Álgebra Computacional (Doutoramento)
Especialização em Matemática
Universidade Aberta, Portugal

Universidade de Coimbra, Portugal
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 - Atual 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 jornal
  1. SANTOS, VANDA; Baeta, Nuno; Quaresma, Pedro. "Geometrography in Dynamic Geometry", The International Journal for Technology in Mathematics Education, 2019
Artigo em revista
  1. Baeta, Nuno. "Taxonomies of geometric problems". Journal of Symbolic Computation (2020): http://dx.doi.org/10.1016/j.jsc.2018.12.004.
    10.1016/j.jsc.2018.12.004
  2. Baeta, Nuno. "Towards a Geometry Automated Provers Competition". Electronic Proceedings in Theoretical Computer Science (2020): http://dx.doi.org/10.4204/eptcs.313.6.
    10.4204/eptcs.313.6
  3. Baeta, Nuno. "Towards Ranking Geometric Automated Theorem Provers". Electronic Proceedings in Theoretical Computer Science (2019): http://dx.doi.org/10.4204/eptcs.290.3.
    10.4204/eptcs.290.3
  4. Baeta, Nuno. "Exchange of Geometric Information Between Applications". Electronic Proceedings in Theoretical Computer Science (2018): http://dx.doi.org/10.4204/eptcs.267.7.
    10.4204/eptcs.267.7
Capítulo de livro
  1. Baeta, Nuno. "Current Status of the I2GATP Common Format". 2015.
    10.1007/978-3-319-21362-0_8
Tese / Dissertação
  1. Baeta, Nuno. "O Método do Ângulo Completo no Sistema OpenGeoProver". Mestrado, Universidade de Coimbra, 2013.
  2. Baeta, Nuno. "Máquinas de Turing". Mestrado, Universidade da Beira Interior, 2003.
  3. 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)
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