Pedro Henrique e Figueiredo Quaresma de Almeida


AuthID: R-000-ERY

Confirmed Publications: 6



1
TITLE: Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)  Full Text
AUTHORS: Pedro Quaresma ;
PUBLISHED: 2011, SOURCE: 8th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 6877
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: e-Learning course for Euclidean geometry
AUTHORS: Vanda Santos; Pedro Quaresma ;
PUBLISHED: 2008, SOURCE: 8th IEEE International Conference on Advanced Learning Technologies in 8TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Automatic verification of regular constructions in dynamic geometry systems
AUTHORS: Janicic, P; Quaresma, P ;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
4
TITLE: GeoThms - a Web System for Euclidean Constructive Geometry
AUTHORS: Quaresma, P ; Janicic, P;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Integrating dynamic geometry software, deduction systems, and theorem repositories
AUTHORS: Quaresma, P ; Janicic, P;
PUBLISHED: 2006, SOURCE: 5th International Conference on Mathematical Knowledge Management in MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, VOLUME: 4108
INDEXED IN: Scopus WOS CrossRef: 10
IN MY: ORCID
6
TITLE: System description: GCLCprover plus GeoThms
AUTHORS: Predrag Janicic; Pedro Quaresma ;
PUBLISHED: 2006, SOURCE: 3rd International Joint Conference on Automated Reasoning in AUTOMATED REASONING, PROCEEDINGS, VOLUME: 4130
INDEXED IN: Scopus WOS
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service