Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
1
TITLE: Measuring the Readability of Geometric Proofs: The Area Method Case Full Text
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
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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 WOS3
TITLE: Towards a geometry deductive database prover Full Text
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
INDEXED IN: Scopus WOS
Scopus WOS4
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
WOS5
TITLE: Taxonomies of geometric problems Full Text
AUTHORS: Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
AUTHORS: Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Automated Deduction and Knowledge Management in Geometry Full Text
AUTHORS: Pedro Quaresma;
PUBLISHED: 2020, SOURCE: MATHEMATICS IN COMPUTER SCIENCE
AUTHORS: Pedro Quaresma;
PUBLISHED: 2020, SOURCE: MATHEMATICS IN COMPUTER SCIENCE
INDEXED IN: Scopus WOS
Scopus WOS7
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 WOS8
TITLE: Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 Preface
AUTHORS: Pedro Quaresma; Walther Neuper;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 290
AUTHORS: Pedro Quaresma; Walther Neuper;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 290
INDEXED IN: WOS
WOS9
TITLE: Extracellular matrix during physiological and pathological cardiac aging: a proteomic study Full Text
AUTHORS: Deolinda Santinha; Alessandro Ori; Henrique Almeida; Patricia Gomes Alves; Paula Alves; Lino Ferreira;
PUBLISHED: 2019, SOURCE: EUROPEAN JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 49
AUTHORS: Deolinda Santinha; Alessandro Ori; Henrique Almeida; Patricia Gomes Alves; Paula Alves; Lino Ferreira;
PUBLISHED: 2019, SOURCE: EUROPEAN JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 49
INDEXED IN: WOS
WOS10
TITLE: Geometrography in Dynamic Geometry
AUTHORS: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, ISSUE: 2
AUTHORS: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, ISSUE: 2
INDEXED IN: WOS
WOS