Loading... 2 0 20 0 false
 
Name
Quaresma, Pedro
 
Variants
Quaresma, Pedro
 
 
Ciência ID
 
Status
UC Researcher
Loading... 3 0 20 0 false

Publications
(All)

Results 1-9 of 9 (Search time: 0.014 seconds).

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