List of Publications
Pedro Quaresma
- 2024
-
-
Pedro Quaresma and Vanda Santos and Joana Teles,
Proof exploration using dynamic geometry systems with integrated
automated deduction capabilities, International Journal of
Mathematical Education in Science and Technology, p.1-25,
Taylor & Francis,
2024. DOI: 10.1080/0020739X.2024.2377724
-
Pedro Quaresma, Zoltán Kovács (editors), Proceedings of the 14th
International Conference on Automated Deduction in Geometry (ADG
2023), EPTCS398, 2024.
-
Pedro Quaresma, Pierluigi Graziani and Stefano Nicoleti,
Considerations on Approaches and Metrics in Automated Theorem
Generation/Finding in Geometry, in Proceedings of ADG 2023, EPTCS,
Vol. 398, pp. 85-100, 2024.
- 2023
-
-
Quaresma, Pedro and Graziani, Pierluigi. Measuring the Readability of Geometric
Proofs---The Area Method Case, Journal of Automated Reasoning, 67(1), January 2023.
Open access,
DOI: 10.1007/s10817-022-09652-0.
-
Joana Teles and Vanda Santos and Pedro Quaresma, A Rule Based Theorem
Prover: an Introduction to Proofs in Secondary Schools, EPTCS 375,
24–37, Mar, 2023
-
Pedro Quaresma, João Marcos and Walther Neuper (editors), Proceedings
11th International Workshop on Theorem Proving Components for
Educational Software (ThEdu'21), EPTCS375, 2023
-
Baeta, Nuno and Quaresma, Pedro. Towards A Geometry Deductive Database
Prover, AMAI 91(6), 851-863, May 2023 DOI: 10.1007/s10472-023-09839-0
- 2022
-
-
Quaresma, Pedro and Santos, Vanda Four Geometry Problems to Introduce
Automated Deduction in Secondary Schools, Proceedings 10th International
Workshop on Theorem Proving Components for Educational Software, EPTCS 354,
pp. 27--42 2022.
DOI: 10.4204/EPTCS.354.3
-
Quaresma, Pedro, Evolution of Automated Deduction and Dynamic Constructions
in Geometry, in Mathematics education in the age of Artificial intelligence,
chp. 1, pp. 3--22, Mathematics Education in the Digital Era, Springer, 2022.
DOI: 10.1007/978-3-030-86909-0
- 2021
-
-
Santos, Vanda and Quaresma, Pedro, Exploring Geometric Conjectures with the
help of a Learning Environment - A Case Study with Pre-Service Teachers., The
Electronic Journal of Mathematics and Technology(2) 1, 2021.
- Baeta, Nuno and Quaresma, Pedro, Open Geometry Prover Community
Project, Proceedings of the Thirteenth International Conference on
Automated Deduction in Geometry (ADG 2021), Electronic Proceedings
in Theoretical Computer Science (EPTCS), 352, Dec 2021.
DOI: 10.4204/EPTCS.352.14
-
Quaresma, Pedro and Graziani, Pierluigi, The Geometrography's
Simplicity Coefficient for the Axioms and Lemmas of the Area Method, CISUC Technical Report,
TR
2021/01, March 2021, Coimbra, Portugal.
- 2020
-
-
Quaresma, Pedro. Automated Deduction and Knowledge Management in
Geometry, Mathematics in Computer Science, Vol 14(4), pp
673-692, DOI:
10.1007/s11786-020-00489-7.
-
Quaresma, Pedro and Neuper, Walther and Marcos, João (editors). Proceedings
8th International Workshop on Theorem Proving Components for Educational
Software (ThEdu'19), Natal, Brazil, 25th August 2019 (at
CADE-27). Electronic Proceedings in Theoretical Computer Science (EPTCS),
vol. 313, February 2020. (EPTCS 313).
- Baeta, Nuno, Quaresma, Pedro and Kovács,
Zoltán. Towards a Geometry Automated Provers Competition,
Post-Proceedings of 8th International Workshop on Theorem proving
components for Educational software (ThEdu'19), Electronic Proceedings in
Theoretical Computer Science (EPTCS), vol. 313, pp. 93-100, 2020.
(EPTCS 313).
-
Quaresma, Pedro and Santos, Vanda and Graziani, Pierluigi and Baeta, Nuno.
Taxonomies of Geometric Problems. Journal of Symbolic Computation,
Volume 97, March-April 2020, Pages
31-55. (personal copy)
- 2019
-
-
Quaresma, Pedro. Ferramentas Inteligentes para a
Geometria, em Alan Turing: Cientista Universal, editado
por: José Espírito Santo, série Ciência e Cultura para Todos,
UMinho Editora, pgs. 165-200, Dezembro de 2019.
-
Quaresma, Pedro and Neuper, Walther. (editors). Proceedings 7th
International Workshop on Theorem proving components for Educational software
July 2018, Oxford, UK (at FLOC 2018), Electronic Proceedings in Theoretical Computer
Science, vol. 290, April 2019.
(EPTCS 290).
-
Santos, Vanda and Baeta, Nuno and Quaresma, Pedro.
Geometrography in Dynamic Geometry. The International Journal
for Technology in Mathematics Education, Vol 26, Number 2, 2019.
-
Quaresma, Pedro, Geometric Automated Theorem Proving, 4
seminars, University of Urbino Carlo Bo, Department of Pure and
Applied Sciences, January 16, 17, 29 and 30,
2019. (condensed 4in1,
presentation).
-
Quaresma, Pedro and Santos, Vanda, Computer-generated Geometry Proofs
in a Learning Context, in Proof Technology in Research and
Teaching, edited by, Hanna, Gila and Reid, David and de Villiers,
Michael, Springer, series Mathematics Education in the Digital Era, 2019.
(link to Springer)
-
Baeta, Nuno and Quaresma, Pedro. Ranking Geometric Automated Theorem
Provers, in Post-Proceedings of 7th International Workshop on
Theorem proving components for Educational software (ThEdu'18), Electronic
Proceedings in Theoretical Computer Science (EPTCS), vol. 290, pp. 30-37,
2019. (EPTCS 290.3).
- 2018
-
-
Quaresma, Pedro. Automatic Deduction in an AI Geometry Book,
Artificial Intelligence and Symbolic Computation, Proceedings of 13th International Conference, AISC 2018
Suzhou, China, September 16--19, 2018, Lecture Notes in Artificial
in Intelligence, 11110, pp. 221--225, Springer, 2018. (LNAI
11110).
-
Haralambous, Yannis and Quaresma Pedro, Geometric Search in
TGTP, Proceedings of the 12th International Conference on
Automated Deduction in Geometry, Nanning, China, September 11--14,
2018. pp. 19--25, 2018. (Proceedings ADG
2018).
-
Quaresma, Pedro and Neuper, Walther. (editors). Proceedings 6th
International Workshop on Theorem proving components for Educational software
Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer
Science, 267, March 2018. (EPTCS
267).
-
Quaresma, Pedro and Santos, Vanda and Baeta, Nuno. Exchange of
Geometric Information Between Applications, Electronic Proceedings in
Theoretical Computer Science 267,
pp. 108-119. (EPTCS 267.7).
-
Santos, Vanda and Quaresma, Pedro and Maric, Milena and Campos,
Helena Web Geometry Laboratory: Case Studies in Portugal and Serbia,
Interactive Learning
Environments, Volume
26, Number 1, 3-21, Taylor & Francis, 2018.
-
Quaresma, Pedro and Santos, Vanda and Maric, Milena WGL, a Web
Laboratory for Geometry, Education and Information Technologies,
23(1),
237-252, Springer
- 2017
-
-
Santos, Vanda e Quaresma, Pedro, Laboratório de geometria na
rede (WGL) em contexto de trabalho de casa, Revista do Instituto GeoGebra
Internacional de São Paulo. v. 6, n. 2, p. 93-112, Instituto GeoGebra
Internacional de São Paulo, Brasil,
2017. (RIGISP
v. 6, n. 2 (2017))
-
Quaresma,
Pedro, Towards
an Intelligent and Dynamic Geometry Book, Mathematics in Computer
Science, Volume 11, Number 3, 427-437, Springer, 2017.
-
Autexier, Serge and Quaresma, Pedro. (editors). Proceedings of the 12th
Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd
July 2016, Electronic Proceedings in Theoretical Computer
Science, EPTCS
239, January 2017, DOI: 10.4204/EPTCS.239.
- 2016
-
-
Quaresma, Pedro and Santos, Vanda, Visual Geometry Proofs in a Learning
Context, Proceedings of the 4th International Workshop on Theorem proving
components for Educational software July 15, 2015 Washington, D.C., USA,
CISUC, TR2016/001.
-
Pedro Quaresma and Walther Neuper (editors),
Proceedings of Workshop
on CTP Components for Educational Software (THedu'15), July 15
2015, Washington, D.C., USA, CISUC, TR2016/001.
- 2015
-
-
Quaresma, Pedro and Santos, Vanda and Maric, Milena, A Web Environment
for Geometry,
CoRR, abs/1506.00128, 2015.
-
Botana, Francisco and Quaresma, Pedro (editors), Automated Deduction
in Geometry, Lecture Notes in Artificial Intelligence, 9201,
Springer, 2015.
-
Quaresma, Pedro and Baeta, Nuno, Current Status of the I2GATP
common format, F. Botana and and Quaresma, Pedro (Eds.), ADG 2014,
LNAI 9201, pp. 169-181. Springer, 2015.
-
Santos, Vanda and Quaresma, Pedro, A Collaborative Environment for
Dynamic Geometry Software in Online Experimentation: Emergent
Technologies and IoT, M.T. Restivo and A.L. Cardoso and A. Mendes (Eds), pp
33-46, International Frequency Sensor Association Publishing, 2015, Spain.
- 2014
-
-
de Paiva, Valeria and Neuper, Walther and Quaresma, Pedro and Retoré,
Christian and S. Moss, Lawrence and Saludes, Jordi (Editors), 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), July 17-18, 2014 Vienna,
Austria. TR
2014/02, September 2014, Coimbra, Portugal.
-
Haralambous, Yannis and Quaresma,
Pedro, Querying Geometric Figures
Using a Controlled Language, Ontological Graphs and Dependency Lattices,
S. Watt et al. (Eds.), CICM 2014, LNAI 8543, pp 298-311, 2014, Springer.
-
Quaresma, Pedro and Santos, Vanda and Moral, Juan, Reproducing a
Geometric Working Session, Workshop and Work in Progress Papers at CICM
2014, Coimbra, Portugal, July
7-11, CEUR-WS, Vol-1186.
-
Quaresma, Pedro and Baeta Nuno, Current Status of the I2GATP Common
Format, Proceedings ADG 2014, 9-11 July 2014, CISUC Technical Report,
TR
2014/01, 2014/06/30, Coimbra, Portugal.
-
Botana, Francisco and Quaresma, Pedro (editors), Preliminary
Proceedings of the ADG 2014, 10th International Workshop on Automated
Deduction in Geometry, 9-11 July 2014, Coimbra, Portugal, CISUC
Technical
Report, TR2014/001,
July, 2014, Coimbra, Portugal.
-
England, Matthew and Davenport, James and Kohlhase, Andrea and Kohlhase,
Michael and Libbrecht, Paul and Neuper, Walther and Quaresma, Pedro and Sexton,
Alan and Sojka, Petr, Urban, Josef and Watt, Stephen (editors), Proceedings of
the Workshops and Work in Progress at CICM 2014, July 7-11, Coimbra, Portugal,
CEUR-WS, volume 1186.
- 2013
-
-
Santos, Vanda and Quaresma,
Pedro,
Plataforma Colaborativa para a Geometria, Indagatio Didactica,
v. 5, n. 1 (2013), Universidade de Aveiro, Portugal.
-
Santos, Vanda and Quaresma,
Pedro, Collaborative Aspects
of the WGL Project, Electronic Journal of Mathematics &
Technology, Volume 7, Number 6, Oct 2013.
-
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
7961, pp 364-368, Springer.
-
Baeta, Nuno and Quaresma, Pedro
The full angle method on the
OpenGeoProver, Proceedings of the Workshops and Work in Progress at
CICM 2013, 10 July 2013, Bath, UK, CEUR-WS, volume 1010.
-
Lange, Christoph and Aspinall, David and Carette, Jacques and Davenport,
James and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and
Quaresma, Pedro and Rabe, Florian and Sojka, Petr and Whiteside, Iain and
Windsteiger, Wolfgang (editors),
Proceedings of the Workshops and Work
in Progress at CICM 2013, 10 July 2013, Bath, UK, CEUR-WS, volume
1010.
- 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, Nuevas Ideas en Informática
Educativa, 6:410-425, 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