Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
31
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
32
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
ORCID33
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
ORCID34
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)
35
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
ORCID36
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
ORCID37
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
ORCID38
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
39
TÃTULO: Effect of the calcination temperature on the composition and microstructure of hydroxyapatite derived from human and animal bone Full Text
AUTORES: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLICAÇÃO: 2010, FONTE: CERAMICS INTERNATIONAL, VOLUME: 36, NÚMERO: 8
AUTORES: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLICAÇÃO: 2010, FONTE: CERAMICS INTERNATIONAL, VOLUME: 36, NÚMERO: 8
40
TÃTULO: The Area Method - A Recapitulation
AUTORES: Janicic, P; Narboux, J; Quaresma, P;
PUBLICAÇÃO: 2010, FONTE: Journal of Automated Reasoning
AUTORES: Janicic, P; Narboux, J; Quaresma, P;
PUBLICAÇÃO: 2010, FONTE: Journal of Automated Reasoning
INDEXADO EM: Scopus
Scopus