Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
31
TITLE: The web geometry laboratory project
AUTHORS: Quaresma, P; Santos, V; Bouallegue, S;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Quaresma, P; Santos, V; Bouallegue, S;
PUBLISHED: 2013, SOURCE: 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
TITLE: Collaborative Environment for Geometry
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13)
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID33
TITLE: The full angle method on the OpenGeoProver
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID34
TITLE: Collaborative environment for geometry
AUTHORS: Vanda Santos Cisuc; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2013 2nd Experiment@ International Conference (exp.at'13)
AUTHORS: Vanda Santos Cisuc; Pedro Quaresma;
PUBLISHED: 2013, SOURCE: 2013 2nd Experiment@ International Conference (exp.at'13)
35
TITLE: ThEdu preface
AUTHORS: Pedro Quaresma;
PUBLISHED: 2013, SOURCE: CEUR Workshop Proceedings, VOLUME: 1010
AUTHORS: Pedro Quaresma;
PUBLISHED: 2013, SOURCE: CEUR Workshop Proceedings, VOLUME: 1010
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID36
TITLE: The Area Method A Recapitulation Full Text
AUTHORS: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, ISSUE: 4
AUTHORS: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID
ORCID37
TITLE: An XML-format for conjectures in geometry (work-in-progress)
AUTHORS: Quaresma, P;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Quaresma, P;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID38
TITLE: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
AUTHORS: Vanda Santos; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
39
TITLE: Effect of the calcination temperature on the composition and microstructure of hydroxyapatite derived from human and animal bone Full Text
AUTHORS: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLISHED: 2010, SOURCE: CERAMICS INTERNATIONAL, VOLUME: 36, ISSUE: 8
AUTHORS: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLISHED: 2010, SOURCE: CERAMICS INTERNATIONAL, VOLUME: 36, ISSUE: 8
40
TITLE: The Area Method - A Recapitulation
AUTHORS: Janicic, P; Narboux, J; Quaresma, P;
PUBLISHED: 2010, SOURCE: Journal of Automated Reasoning
AUTHORS: Janicic, P; Narboux, J; Quaresma, P;
PUBLISHED: 2010, SOURCE: Journal of Automated Reasoning
INDEXED IN: Scopus
Scopus