Nuno Baeta

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Geometric Information

Top Venues

Ann. Math. Artif. Intell.

Publications

Nuno Baeta, Pedro Quaresma
Towards a geometry deductive database prover. Ann. Math. Artif. Intell. 91 (6) (2023)
Nuno Baeta, Pedro Quaresma
Open Geometry Prover Community Project. CoRR (2022)
Pedro Quaresma, Vanda Santos, Pierluigi Graziani, Nuno Baeta
Taxonomies of geometric problems. J. Symb. Comput. 97 (2020)
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
Towards a Geometry Automated Provers Competition. ThEdu@CADE (2019)
Nuno Baeta, Pedro Quaresma
Towards Ranking Geometric Automated Theorem Provers. ThEdu@FLoC (2018)
Pedro Quaresma, Vanda Santos, Nuno Baeta
Exchange of Geometric Information Between Applications. ThEdu@CADE (2017)
Nuno Baeta, Agnelo Fernandes, João Ferreira
Tracking Users Mobility at Public Transportation. PAAMS (Workshops) (2016)
Pedro Quaresma, Nuno Baeta
Current Status of the I2GATP Common Format. ADG (2014)
Nuno Baeta, Pedro Quaresma
The full angle method on the OpenGeoProver. CICM Workshops (2013)