Pedro Henrique e Figueiredo Quaresma de Almeida


AuthID: R-000-ERY

Publicações Confirmadas: 6



1
TÍTULO: Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)  Full Text
AUTORES: Pedro Quaresma ;
PUBLICAÇÃO: 2011, FONTE: 8th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 6877
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: e-Learning course for Euclidean geometry
AUTORES: Vanda Santos; Pedro Quaresma ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Conference on Advanced Learning Technologies in 8TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Automatic verification of regular constructions in dynamic geometry systems
AUTORES: Janicic, P; Quaresma, P ;
PUBLICAÇÃO: 2007, FONTE: 6th International Workshop on Automated Deduction in Geometry, ADG 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4869 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
4
TÍTULO: GeoThms - a Web System for Euclidean Constructive Geometry
AUTORES: Quaresma, P ; Janicic, P;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: Integrating dynamic geometry software, deduction systems, and theorem repositories
AUTORES: Quaresma, P ; Janicic, P;
PUBLICAÇÃO: 2006, FONTE: 5th International Conference on Mathematical Knowledge Management in MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, VOLUME: 4108
INDEXADO EM: Scopus WOS CrossRef: 10
NO MEU: ORCID
6
TÍTULO: System description: GCLCprover plus GeoThms
AUTORES: Predrag Janicic; Pedro Quaresma ;
PUBLICAÇÃO: 2006, FONTE: 3rd International Joint Conference on Automated Reasoning in AUTOMATED REASONING, PROCEEDINGS, VOLUME: 4130
INDEXADO EM: Scopus WOS
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service