# People

### Pedro Quaresma

#### Address

Pedro QuaresmaDepartamento de Matematica

Faculdade de Ciencias e Tecnologia

Universidade de Coimbra

Apartado 3008

3001-454 COIMBRA

#### Home Page

http://www.mat.uc.pt/~pedro#### CV Short

#### CV Long

#### Member

Cognitive and Media Systems#### Research interests

Logic, Automated Reasoning.Algebraic Specification.

#### Affiliation

Departamento de Matematica### Past Projects

iCIS - Intelligent Computing in the Internet of Services

### Books

# 1996

(1 publication)### Journal Articles

# 2020

(1 publication)# 2019

(2 publications)- Vanda Santos and Baeta, N. and Quaresma, P. , "Geometrography in Dynamic Geometry",
*The International Journal for Technology in Mathematics Education*, vol. 26, 2019 - Baeta, N. and Quaresma, P. , "Ranking Geometric Automated Theorem Provers",
*Electronic Proceedings in Theoretical Computer Science*, vol. 290, pp. 30-37, 2019

# 2018

(3 publications)- Vanda Santos and Quaresma, P. and Maric, M. and Campos, H. , "Web Geometry Laboratory: Case Studies in Portugal and Serbia",
*INTERACTIVE LEARNING ENVIRONMENTS*, vol. 26, pp. 3-21, 2018**[ DOI ]** - Quaresma, P. and Vanda Santos and Maric, M. , "WGL, a Web Laboratory for Geometry",
*Education and Information Technologies*, vol. 23, pp. 232-257, 2018**[ DOI ]** - Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications",
*EPTCS*, vol. 267, pp. 108-119, 2018**[ DOI ]**

# 2017

(2 publications)- Quaresma, P. , "Towards an Intelligent and Dynamic Geometry Book",
*Mathematics in Computer Science*, vol. 11, pp. 427-437, 2017**[ DOI ]** - Vanda Santos and Quaresma, P. , "Laboratório de geometria na rede (WGL) em contexto de trabalho de casa",
*Revista do Instituto GeoGebra Internacional de São Paulo*, vol. 6, pp. 93-112, 2017**[ DOI ]**

# 2013

(2 publications)- Vanda Santos and Quaresma, P. , "Plataforma Colaborativa para a Geometria",
*Indagatio Didactica*, vol. 5, pp. 31-39, 2013 - Vanda Santos and Quaresma, P. , "Collaborative Aspects of the WGL Project",
*Electronic Journal of Mathematics & Technology,*, vol. 7, 2013

# 2012

(1 publication)# 2009

(1 publication)# 2008

(1 publication)# 2007

(1 publication)# 2006

(1 publication)- Quaresma, P. and Pereira, A. , "Visualização de Construções Geométricas",
*Gazeta de Matemática*, 2006

# 2005

(1 publication)### Conference Articles

# 2019

(1 publication)# 2018

(4 publications)- Quaresma, P. , "Automatic Deduction in an AI Geometry Book", in
*https://doi.org/10.1007/978-3-319-99957-9*, 2018**[ DOI ]** - Haralambous, Y. and Quaresma, P. , "Geometric Search in TGTP", in
*Proceedings of the 12th International Conference on Automated Deduction in Geometry*, 2018 - Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications", in
*7th International Workshop on Theorem proving components for Educational software*, 2018**[ DOI ]** - Quaresma, P. , "Automatic Deduction in an AI Geometry Book", in
*13th International Conference on Artificial Intelligence and Symbolic Computation*, 2018

# 2016

(1 publication)- Quaresma, P. and Vanda Santos , "Visual Geometry Proofs in a Learning Context", in
*Workshop on Theorem proving components for Educational software (ThEdu'15)*, 2016**[ DOI ]**

# 2015

(2 publications)- Quaresma, P. and Baeta, N. , "Current Status of the I2GATP common format", in
*Automated Deduction in Geometry (ADG2014)*, 2015**[ DOI ]** - Quaresma, P. and Vanda Santos and Maric, M. , "A Web Environment for Geometry", in
*CICM 2015, Conference on Intelligent Computer Mathematics*, 2015**[ DOI ]**

# 2014

(3 publications)- Haralambous, Y. and Quaresma, P. , "Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices", in
*Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal. pe*, 2014**[ DOI ]** - Quaresma, P. and Vanda Santos and Moral, J. , "Reproducing a Geometric Working Session", in
*Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal.*, 2014**[ DOI ]** - Quaresma, P. and Baeta, N. , "Current Status of the I2GATP Common Format", in
*10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal.*, 2014**[ DOI ]**

# 2013

(2 publications)- Quaresma, P. and Vanda Santos and Bouallegue, S. , "The Web Geometry Laboratory Project", in
*Conferences on Intelligent Computer Mathematics (CICM2013)*, 2013**[ DOI ]** - Baeta, N. and Quaresma, P. , "The full angle method on the OpenGeoProver", in
*ThEdu'13, TP Components for Educational Software*, 2013**[ DOI ]**

# 2012

(3 publications)- Vanda Santos and Quaresma, P. , "Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment,", in
*THedu'11*, 2012 - Quaresma, P. , "An XML-Format for Conjectures in Geometry, (Work-in-Progress)", in
*Conferences on Intelligent Computer Mathematics, CICM 2012*, 2012 - Quaresma, P. and Haralambous, Y. , "Geometry Construction Recognition by the Use of Semantic Graphs", in
*18th edition of the Portuguese Conference on Pattern Recognitionped*, 2012

# 2011

(1 publication)# 2010

(1 publication)# 2008

(1 publication)# 2007

(2 publications)- Quaresma, P. and Pinho, A. , "Análise de Frequências da Língua Portuguesa", in
*Conferência Ibero-Americana InterTIC 2007*, 2007 - Quaresma, P. , "Construção Dinâmica de Documentos PDF em Páginas Web", in
*Conferência Ibero-Americana InterTIC 2007*, 2007

# 2006

(5 publications)- Quaresma, P. and Janicic, P. , "Framework for Constructive Geometry (Based on the Area Method)", 2006
- Quaresma, P. and Janicic, P. , "Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories", in
*5th International Conference on Mathematical Knowledge Management (MKM06)*, 2006 - Janicic, P. and Quaresma, P. , "System Description: GCLCprover + GeoThms", in
*3rd International Joint Conference on Automated Reasoning 3rd International Joint Conference on Automated Reasoning*, 2006 - Quaresma, P. and Janicic, P. , "Automatic Verification of Regular Constructions in Dynamic Geometry Systems", in
*Automated Deduction in Geometry*, 2006 - Quaresma, P. and Janicic, P. and Tomasevic, J. and Vujovevi-Janicic, M. and Tosic, D. , "XML-based Format for Geometry", in
*Communicating Mathematics in the Digital Era*, 2006

# 2002

(1 publication)# 2001

(2 publications)- Quaresma, P. , "The Electronic Publishing Toolbox", in
*Electronic Media in Mathematics*, 2001 - Quaresma, P. , "DCpic, Commutative Diagrams in a (La)TeX Document", in
*EuroTeX 2001*, 2001

# 1995

(1 publication)# 1986

(1 publication)### Edited Books

# 2019

(1 publication)- Quaresma, P. and Neuper, W. ,
*Proceedings of the 7th International Workshop on Theorem proving components for Educational software*, vol. 290, 2019**[ DOI ]**

# 2018

(1 publication)- Quaresma, P. and Neuper, W. ,
*Proceedings of the 6th International Workshop on Theorem proving components for Educational software*, "Proceedings 7th International Workshop on Theorem proving components for Educational software ", vol. 267, 2018**[ DOI ]**

# 2017

(1 publication)- Autexier, S. and Quaresma, P. ,
*Proceedings of the 12th Workshop on User Interfaces for Theorem Provers*, "Proceedings of the 12th Workshop on User Interfaces for Theorem Provers", vol. 239, 2017**[ DOI ]**

# 2015

(1 publication)- Botana, F. and Quaresma, P. ,
*Proceedings of the Automated Deduction in Geometry, ADG14*, vol. 9201, 2015**[ DOI ]**

# 2013

(1 publication)- Lange, C. and Aspinall, D. and Carette, J. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Quaresma, P. and Rabe, F. and Sojka, P. and Whiteside, I. and Windsteiger, W. ,
*Proceedings of the Workshops and Work in Progress at CICM 2013*, vol. 1010, 2013**[ DOI ]**

# 2011

(1 publication)- Quaresma, P. and Back, R. ,
*Proceedings of the First Workshop on CTP Components for Educational Software*, vol. 79, 2011**[ DOI ]**

# 2003

(1 publication)### Book Chapters

# 2019

(2 publications)- Quaresma, P. and Vanda Santos , "Computer-generated Geometry Proofs in a Learning Context", in
*Proof Technology in Research and Teaching*, vol. 1, pp. 237-253, 2019 - Quaresma, P. , "Ferramentas Inteligentes para a Geometria", in
*Alan Turing: Cientista Universal*, vol. 1, pp. 165-200, 2019

# 2015

(1 publication)- Vanda Santos and Quaresma, P. , "A Collaborative Environment for Dynamic Geometry Software", in
*Online Experimentation: Emergent Technologies and IoT*, vol. 1, pp. 33-46, 2015**[ DOI ]**

# 2010

(1 publication)# 2008

(1 publication)### PhD Theses

# 1998

(1 publication)### MSc Theses

# 1988

(1 publication)### Tech Report

# 2019

(1 publication)# 2016

(1 publication)# 2014

(3 publications)- Paiva, V.d. and Neuper, W. and Quaresma, P. and Retoré, C. and Moss, L.S. and Saludes, J. , "Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS'14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014)", 2014
**[ DOI ]** - Botana, F. and Quaresma, P. , "Preliminary Proceedings of the ADG 2014, 10th International Workshop on Automated Deduction in Geometry", 2014
**[ DOI ]** - England, M. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Neuper, W. and Quaresma, P. and Sexton, A.P. and Sojka, P. and Urban, J. and Watt, S.M. , "Proceedings of the Workshops and Work in Progress at CICM 2014", 2014
**[ DOI ]**

# 2009

(2 publications)- Quaresma, P. and Schreye, D.D. , "Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009", 2009
- Quaresma, P. and Janicic, P. , "The Area Method, Rigorous Proofs of Lemmas in Hilbert\'s Style Axiom System", 2009