List of Publications
Pedro Quaresma
- 2013
-
-
Santos, Vanda and Quaresma, Pedro, Collaborative Aspects of the
WGL Project, Electronic Journal of Mathematics & Technology, (to
appear).
-
Quaresma, Pedro and Santos, Vanda and Bouallegue, Seifeddine The Web
Geometry Laboratory Project , Proceedings of the Conferences on
Intelligent Computer Mathematics CICM 2013, 8-12 July 2013, Bath, UK, LNAI,
Springer (to appear).
- 2012
-
-
Predrag Janicic and Julien Narboux and Pedro Quaresma, The Area
Method: a Recapitulation, Journal of Automated Reasoning, Volume 48,
Number 4, 489-532, Springer, 2012.
-
Pedro Quaresma and Yannis Haralambous, Geometry Construction
Recognition by the Use of Semantic Graphs, RecPad 2012, the 18th
edition of the Portuguese Conference on Pattern Recognition, Institute of
Engineering of the Polytechnic Institute of Coimbra, on October 26, 2012.
-
Pedro Quaresma, An
XML-Format for Conjectures in Geometry, Conferences on Intelligent
Computer Mathematics CICM 2012, Work in Progress, 8-13 July 2012 Jacobs
University, Bremen, Germany, number 921 in CEUR Workshop Proceedings, pages
54-65, Aachen, 2012.
-
Pedro Quaresma e Vanda Santos,
O Laboratório de Geometria na Rede
,
Palestra Convidada, Escola Superior de Educação, Instituto
Politécnico do Porto e Instituto GeoGebra - Portugal, 26 de Maio de 2012.
-
Pedro Quaresma, Geometric
Theorem Proving, invited talk, Days in Logic 2012, Days in
Logic 2012, University of Évora, 6-8 February 2012.
-
Pedro Quaresma and Ralph-Johan Back (editors),
Proceedings First Workshop
on CTP Components for Educational Software (THedu'11), July 31
2011, Wrocław, Poland. EPTCS, Vol. 79, February 2012.
-
Vanda Santos and Pedro Quaresma,
Integrating DGSs and
GATPs in an Adaptative and Collaborative Blended-Learning
Web-Environment, Proceedings First Workshop on CTP Components for
Educational Software July 31 2011, Wrocław, Poland, EPTCS, Vol 79, pg
111-123, February 2012.
- 2011
-
-
Pedro Quaresma,
Thousands of
Geometric problems for geometric Theorem Provers (TGTP), P. Schreck,
J. Narboux, and J. Richter-Gebert (Eds.), ADG 2010, LNAI 6877,
pp. 169--181. Springer, Heidelberg,
2011. (online
11/2011)
-
Pedro Quaresma and Ralph-Johan Back (editors), Preliminary
Proceedings of the THedu'11, CTP Components for Educational Software,
July 31 2011, Wrocław, Poland. CISUC Technical Report, TR2011/001,
June, 2011.
-
Vanda Santos and Pedro Quaresma,
WebGeometryLab,
Preliminary
Proceedings of the THedu'11, CTP Components for Educational Software,
July 31 2011, Wrocław, Poland. CISUC Technical Report, TR2011/001,
June, 2011.
- 2010
-
-
Vanda Santos and Pedro Quaresma,
Laboratório de Geometria na Rede, Actas do Congresso
Iberoamericano de Informática Educativa, IE 2010, Santigo do Chile, Chile,
1 a 3 de Dezembro de 2010.
-
Vanda Santos and Pedro Quaresma, Adaptative Learning Environment for
Geometry, pg 71-92, in "Advances in Learning Processes", edited by Mary
Beth Rosson, 2010, In-teh, Vukovar, Croatia.
-
2009
-
- Pedro Quaresma and Predrag Janicic, The Area
Method, Rigorous Proofs of Lemmas in Hilbert's Style Axiom
System, CISUC
TR 2009/006, Centre for Informatics and Systems of the University
of Coimbra, October 2009.
- Preliminary Proceedings of the 19th International
Symposium on Logic-Based Program Synthesis and Transformation,
LOPSTR 2009. 9-11 September
2009 Coimbra, Portugal, Editors Danny De Schreye, Pedro
Quaresma, CISUC TR 2009/04, Centre for Informatics and Systems
of the University of Coimbra, 2009.
- Pedro Quaresma, Augusto Pinho, Criptoanálise, Gazeta de
Matemática, Gazeta de Matemática # 157, pp. 22-31, SPM,
Abril de 2009.
- 2008
-
- Vanda Santos, Pedro Quaresma, e-Learning Course for
Euclidean Geometry, in Proc. of the The 8th IEEE International
Conference on Advanced Learning Technologies, pp. 387-388, The 8th
IEEE International Conference on Advanced Learning Technologies,
Santander, Cantabria, Spain, July 2008.
- Pedro Quaresma, Elsa Lopes, Criptografia, Gazeta de
Matemática # 154, pp. 7-11, SPM, Março de 2008.
- Pedro Quaresma, Predrag Janicic, J. Tomasevic, M. V.-Janicic,
and D. Tosic, XML-based Format for Geometry, in Communicating
Mathematics in the Digital Era, Edited by J.M. Borwein, E.M. Rocha
and J.F. Rodrigues, pp 183-197, AK Peters Lda, Wellesley,
Massachusetts, USA, 2008.
- 2007
-
- Pedro Quaresma, Augusto Pinho, Análise de Frequências
da Língua Portuguesa, Livro de Actas da Conferência
Ibero-Americana InterTIC 2007, 3 a 5 de Dezembro de 2007, Porto,
Portugal, pags 267-272, IASK, 2007.
- Pedro Quaresma, Construção Dinâmica de Documentos
PDF em Páginas Web, Livro de Actas da Conferência
Ibero-Americana InterTIC 2007, 3 a 5 de Dezembro de 2007, Porto,
Portugal, pags 21-27, IASK, 2007.
- Predrag Janicic and Pedro Quaresma, "Automatic
Verification of Regular Constructions in Dynamic Geometry
Systems", ADG 2006 (selected papers), LNAI 4869, pp. 39-51, 2007,
Springer-Verlag Berlin Heidelberg 2007.
- Pedro Quaresma, Predrag Janicic, GeoThms - a Web
System for Euclidean Constructive
Geometry,
Electronic Notes in Theoretical Computer Science, Vol 174/2 pp
35-48, 15 May 2007. Proceedings of the UITP'06, Seattle, USA,
August 21, 2006 (DOI information: 10.1016/j.entcs.2006.09.020).
- 2006
-
- Predrag Janicic and Pedro Quaresma, Automatic
Verification of Regular Constructions in Dynamic Geometry
Systems (draft), Proceedings of the
ADG06, Pontevedra, Spain, August 31 to September 2, 2006.
- Predrag Janicic and Pedro Quaresma, System Description:
GCLCprover + GeoThms, U. Furbach and N. Shankar (Eds.), IJCAR
2006, LNAI 4130, pp 145-150, 2006, Springer-Verlag, Heildelberg,
2006.
- Pedro Quaresma, Predrag Janicic, Jelena Tomasevic, Milena
Vujosevic-Janicic, Dusan Tosic, XML-based Format for
Descriptions of Geometrical Constructions and Geometrical
Proofs, Proceedings of the CMDE2006, Aveiro, Portugal, August
15-18, 2006.
- Pedro Quaresma and Predrag Janicic, Integrating Dynamic
Geometry Software, Deduction Systems, and Theorem Repositories,
J.M. Borwein and W.M. Farmer (Eds), MKM 2006, LNAI 4108, pp
280-294, 2006, Springer-Verlag, Heildelberg, 2006.
- Pedro Quaresma and Predrag Janicic, GeoThms -
Geometry Framework, CISUC
TR 2006/002, Centre for Informatics and Systems of the University
of Coimbra, 2006.
- Pedro Quaresma e Ana Pereira, Visualização de
Construções Geométricas, Gazeta de Matemática
151, Julho de 2006, Lisboa.
- Pedro Quaresma and Predrag Janicic, Framework for
Constructive Geometry (Based on the Area
Method), CISUC TR
2006/001, Centre for Informatics and Systems of the University of
Coimbra, 2006.
- Pedro Quaresma and Predrag Janicic, Automated
Production of Readable Proofs for Theorems in Euclidian
Geometry, Days in
Logic'06, Coimbra, 19-21 Janeiro de 2006.
- 2005
-
- Pedro Quaresma, Visualização de Demonstrações
Geométricas, Poster,
Encontro Nacional de Visualização Científica, Espinho,
Setembro de 2005.
- Pedro Quaresma, Stacks in TeX, TUGboat 26(1), TeX
User Group, Portland, USA, 2005.
- 2003
-
- Pedro Quaresma, António Dourado, Ernesto Costa,
J. Félix Costa (editors), "Proceedings of the Advanced School
and Workshop on Soft Computing and Complex Systems", CIM, 2003.
- 2002
-
- Pedro Quaresma, Construção Modular de Sistemas
de Dedução, Memórias CISCI2002, Vol II,
p. 171-176, Orlando, USA, July 2002.
- Pedro Quaresma, "Logical Specification of Commutative
Diagrams in a (La)TeX Document", CISUC Technical Report,
TR2002/001, January, 2002.
- 2001
-
- Pedro Quaresma, DCpic, Commutative Diagrams in a
(La)TeX Document, Proceedings
of the EuroTeX2001, p. 162-172, Kerkrade, Netherlands, September
2001.
- Pedro Quaresma, The Electronic Publishing
Toolbox, Proceedings of the
Electronic Media in Mathematics, Coimbra, Portugal, September
2001.
- 1998
-
- 1996
-
- 1995
-
- 1988
-
- Pedro Quaresma de Almeida, Estudo Comparativo de
Algoritmos para o Problema de Transporte com Custos-Fixos,
Dissertação de Mestrado, Departamento de Matemática
da Universidade de Coimbra, 1988.
- 1986
-
- Pedro Quaresma de Almeida e Lúcia A. Martins, A
Factorização de Equações numa Aprendizagem Assistida por
Computador, Actas EPIA-86, 1986.
Pedro Quaresma de Almeida - pedro - mat uc pt