Browsing by Author Baeta, Nuno
Results 1 to 5 of 5
Issue Date | Title | Author(s) | Type | Access |
---|---|---|---|---|
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-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |
1-Apr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |