Nuno Miguel dos Santos Baeta
AuthID: R-000-P63
1
TITLE: Towards a geometry deductive database prover Full Text
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
AUTHORS: Baeta, Nuno; Quaresma, Pedro;
PUBLISHED: 2023, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Taxonomies of geometric problems Full Text
AUTHORS: Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
AUTHORS: Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 97
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Towards Ranking Geometric Automated Theorem Provers
AUTHORS: Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, ISSUE: 290
AUTHORS: Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, ISSUE: 290
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Geometrography in Dynamic Geometry
AUTHORS: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, ISSUE: 2
AUTHORS: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, ISSUE: 2
INDEXED IN: WOS
WOS5
TITLE: Exchange of Geometric Information Between Applications
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: WOS
WOS6
TITLE: Exchange of Geometric Information Between Applications
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: WOS
WOS7
TITLE: Tracking Users Mobility at Public Transportation
AUTHORS: Nuno Baeta; Agnelo Fernandes; Joao Ferreira;
PUBLISHED: 2016, SOURCE: 14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF SCALABLE MULTI-AGENT SYSTEMS, VOLUME: 616
AUTHORS: Nuno Baeta; Agnelo Fernandes; Joao Ferreira;
PUBLISHED: 2016, SOURCE: 14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF SCALABLE MULTI-AGENT SYSTEMS, VOLUME: 616
8
TITLE: Current Status of the I2GATP Common Format
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
AUTHORS: Pedro Quaresma; Nuno Baeta;
PUBLISHED: 2015, SOURCE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: The full angle method on the OpenGeoProver
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
AUTHORS: Baeta, N; Quaresma, P;
PUBLISHED: 2013, SOURCE: Joint Workshops of the 8th Workshop on Mathematical User Interfaces, MathUI 2013, 25th OpenMath Workshop, OpenMath 2013, 5th International Workshop on Programming Languages for Mechanised Mathematical Systems, PLMMS 2013 and the 2nd International Workshop on Theorem Proving Components for Educational Software, ThEdu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, CICM 2013 in CEUR Workshop Proceedings, VOLUME: 1010
INDEXED IN: Scopus
Scopus