Baeta, Nuno
Claim profile
Loading...
2
0
20
0
false
Name
Baeta, Nuno
Variants
Baeta, Nuno
Ciência ID
Status
UC Researcher
Loading...
3
0
20
0
false
Publications
(All)
Subject
- 1 Area method
- 1 Automated theorem proving
- 1 Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3
- 1 Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3
- 1 Demonstração automática de teoremas
- next >
Date issued
Type
Fulltext
Results 1-5 of 5 (Search time: 0.007 seconds).
| Issue Date | Title | Author(s) | Type | Access | |
|---|---|---|---|---|---|
| 1 | 5-Mar-2018 | Exchange of Geometric Information Between Applications | Quaresma, Pedro ; Santos, Vanda ; Baeta, Nuno | article | openAccess |
| 2 | 17-Jun-2013 | O método do ângulo completo no sistema OpenGeoProver | Baeta, Nuno Miguel dos Santos | masterThesis | openAccess |
| 3 | 3-Jan-2022 | Open Geometry Prover Community Project | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |
| 4 | 28-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |
| 5 | 1-Apr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |