Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
11
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
WOS12
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
WOS13
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
14
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
15
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
16
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
WOS17
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
18
TITLE: Exchange of Geometric Information Between Applications
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: WOS
WOS19
TITLE: Preface
AUTHORS: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: WOS
WOS20
TITLE: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
AUTHORS: Serge Autexier; Pedro Quaresma;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 239
AUTHORS: Serge Autexier; Pedro Quaresma;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 239
INDEXED IN: WOS
WOS