Tecnologias na Educação Matemática - Coordenação António Domingos
Software para demonstração formal e automática de teoremas em Geometria
Downloads
Publicado
2026-07-13
Edição
Secção
Secções
Licença
Direitos de Autor (c) 2026 Educação e Matemática
Este trabalho encontra-se publicado com a Creative Commons Atribuição-NãoComercial 4.0.
Copyright (c) pertence à Revista Educação e Matemática. Contudo, encorajamos que os artigos sejam divulgados nos repositórios institucionais ou pessoais desde que seja identificada a sua publicação original na Educação e Matemática e incluída a hiperligação para o site da revista.
