Nuno Baeta

According to our database, Nuno Baeta authored at least 9 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Towards a geometry deductive database prover.

Nuno Baeta, Pedro Quaresma

Ann. Math. Artif. Intell., December, 2023

2021

Open Geometry Prover Community Project.

Nuno Baeta, Pedro Quaresma

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

Taxonomies of geometric problems.

Pedro Quaresma, Vanda Santos, Pierluigi Graziani, Nuno Baeta

J. Symb. Comput., 2020

2019

Towards a Geometry Automated Provers Competition.

Nuno Baeta, Pedro Quaresma, Zoltán Kovács

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2018

Towards Ranking Geometric Automated Theorem Provers.

Nuno Baeta, Pedro Quaresma

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

2017

Exchange of Geometric Information Between Applications.

Pedro Quaresma, Vanda Santos, Nuno Baeta

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2016

Tracking Users Mobility at Public Transportation.

Nuno Baeta, Agnelo Fernandes, João Ferreira

Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

2014

Current Status of the I2GATP Common Format.

Pedro Quaresma, Nuno Baeta

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013

The full angle method on the OpenGeoProver.

Nuno Baeta, Pedro Quaresma

Proceedings of the Joint Proceedings of the MathUI, 2013