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/~pedroCV Short
CV Long
Member
Cognitive and Media SystemsResearch interests
Logic, Automated Reasoning.Algebraic Specification.
Affiliation
Departamento de MatematicaPast 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