Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
1
TÃTULO: Proof exploration using dynamic geometry systems with integrated automated deduction capabilities
AUTORES: Quaresma, Pedro; Santos, Vanda; Teles, Joana;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY
AUTORES: Quaresma, Pedro; Santos, Vanda; Teles, Joana;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY
2
TÃTULO: Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
AUTORES: Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.;
PUBLICAÇÃO: 2024, FONTE: 14th International Conference on Automated Deduction in Geometry (ADG) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 398
AUTORES: Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.;
PUBLICAÇÃO: 2024, FONTE: 14th International Conference on Automated Deduction in Geometry (ADG) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 398
INDEXADO EM: 
WOS
WOS3
TÃTULO: Measuring the Readability of Geometric Proofs: The Area Method Case
AUTORES: Quaresma, Pedro; Graziani, Pierluigi;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 67, NÚMERO: 1
AUTORES: Quaresma, Pedro; Graziani, Pierluigi;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 67, NÚMERO: 1
4
TÃTULO: A Rule-based Theorem Prover: an Introduction to Proofs in Secondary Schools Full Text
AUTORES: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, NÚMERO: 375
AUTORES: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, NÚMERO: 375
INDEXADO EM: 
Scopus WOS
Scopus WOS5
TÃTULO: Towards a geometry deductive database prover
AUTORES: Baeta, Nuno; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 91, NÚMERO: 6
AUTORES: Baeta, Nuno; Quaresma, Pedro;
PUBLICAÇÃO: 2023, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 91, NÚMERO: 6
6
TÃTULO: Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
AUTORES: Quaresma, Pedro; Santos, Vanda;
PUBLICAÇÃO: 2022, FONTE: 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 354
AUTORES: Quaresma, Pedro; Santos, Vanda;
PUBLICAÇÃO: 2022, FONTE: 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 354
INDEXADO EM: WOS
WOS7
TÃTULO: Taxonomies of geometric problems
AUTORES: Quaresma, P; Santos, V; Graziani, P; Baeta, N;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
AUTORES: Quaresma, P; Santos, V; Graziani, P; Baeta, N;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
8
TÃTULO: Automated Deduction and Knowledge Management in Geometry
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2020, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 4
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2020, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 4
9
TÃTULO: Towards Ranking Geometric Automated Theorem Provers
AUTORES: Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, NÚMERO: 290
AUTORES: Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, NÚMERO: 290
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 Preface
AUTORES: Pedro Quaresma; Walther Neuper;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 290
AUTORES: Pedro Quaresma; Walther Neuper;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 290
INDEXADO EM: WOS
WOS