Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
31
TÃTULO: Reproducing a geometric working session web geometry laboratory project
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID32
TÃTULO: Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
AUTORES: Yannis Haralambous; Pedro Quaresma;
PUBLICAÇÃO: 2014, FONTE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
AUTORES: Yannis Haralambous; Pedro Quaresma;
PUBLICAÇÃO: 2014, FONTE: International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, VOLUME: 8543
INDEXADO EM: 
WOS
WOS33
TÃTULO: The web geometry laboratory project
AUTORES: Quaresma, P; Santos, V; Bouallegue, S;
PUBLICAÇÃO: 2013, FONTE: Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7961 LNAI
AUTORES: Quaresma, P; Santos, V; Bouallegue, S;
PUBLICAÇÃO: 2013, FONTE: Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7961 LNAI
34
TÃTULO: Collaborative Environment for Geometry
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID35
TÃTULO: The full angle method on the OpenGeoProver
AUTORES: Baeta, N; Quaresma, P;
PUBLICAÇÃO: 2013, FONTE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
AUTORES: Baeta, N; Quaresma, P;
PUBLICAÇÃO: 2013, FONTE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID36
TÃTULO: Collaborative environment for geometry
AUTORES: Vanda Santos Cisuc; Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: 2013 2nd Experiment@ International Conference (exp.at'13)
AUTORES: Vanda Santos Cisuc; Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: 2013 2nd Experiment@ International Conference (exp.at'13)
37
TÃTULO: ThEdu preface
AUTORES: Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: CEUR Workshop Proceedings, VOLUME: 1010
AUTORES: Pedro Quaresma;
PUBLICAÇÃO: 2013, FONTE: CEUR Workshop Proceedings, VOLUME: 1010
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID38
TÃTULO: The Area Method A Recapitulation Full Text
AUTORES: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, NÚMERO: 4
AUTORES: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, NÚMERO: 4
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID39
TÃTULO: An XML-format for conjectures in geometry (work-in-progress)
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2012, FONTE: Joint 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces, MathUI 2012 and CICM Work in Progress - Conference on Intelligent Computer Mathematics, CICM 2012 in CEUR Workshop Proceedings, VOLUME: 921
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2012, FONTE: Joint 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces, MathUI 2012 and CICM Work in Progress - Conference on Intelligent Computer Mathematics, CICM 2012 in CEUR Workshop Proceedings, VOLUME: 921
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID40
TÃTULO: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
