Welcome to my home page.
I am an guest assistant in the Faculty of Economics at the University of Coimbra, where I teach mathematics. I am also a member of the Centre for Informatics and Systems of the University of Coimbra. My ORCID and Ciência ID.
Publications
- 2023
-
- Nuno Baeta and Pedro Quaresma, Towards a Geometry Deductive Deductive Database Prover, Annals of Mathematics and Artificial Intellignce 91, 851-863, December 2023, DOI: 10.1007/s10472-023-09839-0
- 2021
-
- Nuno Baeta and Pedro Quaresma, Open Geometry Prover Community Project, Proceedings of the 13th International Conference on Automated Deduction in Geometry (ADG 2021), Electronic Proceedings in Theoretical Computer Science 352, 129-138, December 2021, DOI: 10.4204/EPTCS.352.14
- 2020
-
- Pedro Quaresma and Vanda Santos and Pierluigi Graziani and Nuno Baeta, Taxonomies of Geometric Problems, Journal of Symbolic Computation 97, 31-55, March-April 2020, DOI: 10.1016/j.jsc.2018.12.004
- Nuno Baeta and Pedro Quaresma and Zoltán Kovács, Towards a Geometry Automated Provers Competition, Proceedings of the 8th International Workshop on Theorem proving components for Educational software (ThEdu'19), Electronic Proceedings in Theoretical Computer Science 313, 93-100, February 2020, DOI: 10.4204/EPTCS.313.6
- 2019
-
- Pedro Quaresma and Nuno Baeta, Geometry Automated Theorem Provers System Competition 0.2 Report, CISUC Technical Report TR2019-001, November 2019
- Nuno Baeta and Pedro Quaresma, Towards Ranking Geometric Automated Theorem Provers, Proceedings of the 7th International Workshop on Theorem proving components for Educational software (ThEdu'18), Electronic Proceedings in Theoretical Computer Science 290, 30-37, April 2019, DOI: 10.4204/EPTCS.290.3
- Vanda Santos and Nuno Baeta and Pedro Quaresma, Geometrography in Dynamic Geometry, The International Journal for Technology in Mathematics Education 26 (2), 2019
- 2018
-
- Pedro Quaresma and Vanda Santos and Nuno Baeta Exchange of Geometric Information Between Applications, Proceedings of the 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Electronic Proceedings in Theoretical Computer Science 267, 108-119, March 2018, DOI: 10.4204/EPTCS.267.7
- 2015
-
- Pedro Quaresma and Nuno Baeta, Current Status of the I2GATP Common Format, Francisco Botana and and Pedro Quaresma (Eds.), Automated Deduction in Geometry (ADG) 2014, Lecture Notes in Artificial Intelligence 9201, 119-128, Springer, July 2015, DOI: 10.1007/978-3-319-21362-0_8
- 2013
-
- Nuno Baeta and Pedro Quaresma, The full angle method on the OpenGeoProver, Proceedings of the Workshops and Work in Progress at CICM 2013, CEUR Workshop Proceedings 1010, July 2013
Teaching
- 2023/24
-
- 1st semester
- Matemática para Economia e Gestão I
- 2nd semester
- Matemática para Economia e Gestão II