Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
11
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 WOS12
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
WOS13
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
WOS14
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
WOS15
TITLE: COLLABORATIVE ASPECTS IN AN ELEARNING CLASSROOM
AUTHORS: Santos, V; Quaresma, P;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
AUTHORS: Santos, V; Quaresma, P;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
INDEXED IN: WOS
WOS16
TITLE: Computer-Generated Geometry Proofs in a Learning Context
AUTHORS: Pedro Quaresma; Vanda Santos;
PUBLISHED: 2019, SOURCE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
AUTHORS: Pedro Quaresma; Vanda Santos;
PUBLISHED: 2019, SOURCE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
17
TITLE: WGL, a web laboratory for geometry
AUTHORS: Quaresma, P; Santos, V; Maric, M;
PUBLISHED: 2018, SOURCE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, ISSUE: 1
AUTHORS: Quaresma, P; Santos, V; Maric, M;
PUBLISHED: 2018, SOURCE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, ISSUE: 1
18
TITLE: Web geometry laboratory: case studies in Portugal and Serbia Full Text
AUTHORS: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLISHED: 2018, SOURCE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, ISSUE: 1
AUTHORS: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLISHED: 2018, SOURCE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, ISSUE: 1
19
TITLE: Exchange of Geometric Information Between Applications
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: WOS
WOS20
TITLE: Automatic Deduction in an AI Geometry Book
AUTHORS: Quaresma, P;
PUBLISHED: 2018, SOURCE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
AUTHORS: Quaresma, P;
PUBLISHED: 2018, SOURCE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
