Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
1
TITLE: Proof exploration using dynamic geometry systems with integrated automated deduction capabilities
AUTHORS: Quaresma, Pedro; Santos, Vanda; Teles, Joana;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY
AUTHORS: Quaresma, Pedro; Santos, Vanda; Teles, Joana;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY
2
TITLE: Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
AUTHORS: Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.;
PUBLISHED: 2024, SOURCE: 14th International Conference on Automated Deduction in Geometry (ADG) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 398
AUTHORS: Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.;
PUBLISHED: 2024, SOURCE: 14th International Conference on Automated Deduction in Geometry (ADG) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 398
INDEXED IN: 
WOS
WOS3
TITLE: Exploring Quadrilaterals: An Interactive Task for 7th Grade Students Using GeoGebra Classroom
AUTHORS: Santos, Vanda; Teles, Joana; Quaresma, Pedro;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 31, ISSUE: 3
AUTHORS: Santos, Vanda; Teles, Joana; Quaresma, Pedro;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 31, ISSUE: 3
INDEXED IN: 
Scopus WOS
Scopus WOS4
TITLE: Measuring the Readability of Geometric Proofs: The Area Method Case
AUTHORS: Quaresma, Pedro; Graziani, Pierluigi;
PUBLISHED: 2023, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 67, ISSUE: 1
AUTHORS: Quaresma, Pedro; Graziani, Pierluigi;
PUBLISHED: 2023, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 67, ISSUE: 1
5
TITLE: A Rule-based Theorem Prover: an Introduction to Proofs in Secondary Schools Full Text
AUTHORS: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, ISSUE: 375
AUTHORS: Teles, Joana; Santos, Vanda; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: 11th International Workshop on Theorem Proving Components for Educational Software in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 375, ISSUE: 375
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Towards a geometry deductive database prover
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 91, ISSUE: 6
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 91, ISSUE: 6
7
TITLE: Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
AUTHORS: Quaresma, Pedro; Santos, Vanda;
PUBLISHED: 2022, SOURCE: 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 354
AUTHORS: Quaresma, Pedro; Santos, Vanda;
PUBLISHED: 2022, SOURCE: 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 354
INDEXED IN: WOS
WOS8
TITLE: Taxonomies of geometric problems
AUTHORS: Quaresma, P; Santos, V; Graziani, P; Baeta, N;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
AUTHORS: Quaresma, P; Santos, V; Graziani, P; Baeta, N;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
9
TITLE: Automated Deduction and Knowledge Management in Geometry
AUTHORS: Quaresma, P;
PUBLISHED: 2020, SOURCE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
AUTHORS: Quaresma, P;
PUBLISHED: 2020, SOURCE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
10
TITLE: Towards Ranking Geometric Automated Theorem Provers
AUTHORS: Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, ISSUE: 290
AUTHORS: Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, ISSUE: 290
INDEXED IN: Scopus WOS
Scopus WOS