Nuno Miguel dos Santos Baeta
AuthID: R-000-P63
1
TÃTULO: Towards Ranking Geometric Automated Theorem Provers
AUTORES: Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, NÚMERO: 290
AUTORES: Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: 7th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 290, NÚMERO: 290
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Geometrography in Dynamic Geometry
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
INDEXADO EM: WOS
WOS3
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS4
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS5
TÃTULO: Tracking Users Mobility at Public Transportation
AUTORES: Nuno Baeta; Agnelo Fernandes; Joao Ferreira;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Nuno Baeta; Agnelo Fernandes; Joao Ferreira;
PUBLICAÇÃO: 2016, FONTE: 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
6
TÃTULO: Current Status of the I2GATP Common Format
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
INDEXADO EM: Scopus WOS
Scopus WOS7
TÃTULO: The full angle method on the OpenGeoProver
AUTORES: Baeta, N; Quaresma, P;
PUBLICAÇÃO: 2013, FONTE: 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
AUTORES: Baeta, N; Quaresma, P;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus
Scopus