Percorrer por autor Baeta, Nuno
Mostrar resultados 1-5 de 5.
Data de publicação | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
5-Mar-2018 | Exchange of Geometric Information Between Applications | Quaresma, Pedro ; Santos, Vanda ; Baeta, Nuno | article | openAccess |
17-Jun-2013 | O método do ângulo completo no sistema OpenGeoProver | Baeta, Nuno Miguel dos Santos | masterThesis | openAccess |
3-Jan-2022 | Open Geometry Prover Community Project | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |
28-Fev-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |
1-Abr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |