Browsing by Author Quaresma, Pedro

Results 1 to 9 of 9
Issue DateTitleAuthor(s)TypeAccess
2014De re aedificatoria column systematization shape grammarQuaresma, Pedro Filipe Coutinho ; Krüger, Mário ; Duarte, José P. articleopenAccess
5-Mar-2018Exchange of Geometric Information Between ApplicationsQuaresma, Pedro ; Santos, Vanda ; Baeta, Nuno articleopenAccess
8-Feb-2022Four Geometry Problems to Introduce Automated Deduction in Secondary SchoolsQuaresma, Pedro ; Santos, VandaarticleopenAccess
12-Dec-2014Gramatica da Forma da Sistematização da Coluna de AlbertiQuaresma, Pedro Filipe Coutinho Cabral d'Oliveira doctoralThesisopenAccess
3-Jan-2022Open Geometry Prover Community ProjectBaeta, Nuno ; Quaresma, Pedro articleopenAccess
2019Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary AchievementsDavenport, James; Fleuriot, Jacques; Quaresma, Pedro ; Recio, Tomás; Wang, DongmingarticleopenAccess
10-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess
28-Feb-2020Towards a Geometry Automated Provers CompetitionBaeta, Nuno ; Quaresma, Pedro ; Kovács, ZoltánarticleopenAccess
1-Apr-2019Towards Ranking Geometric Automated Theorem ProversBaeta, Nuno ; Quaresma, Pedro articleopenAccess