Pedro Quaresma

Identifiers

• name variant Pedro Quaresma 0.60 · backfill

Papers (5)

1. Proceedings of the 12th Workshop on User Interfaces for Theorem Provers cs.HC · 2017 · author #2
2. A Web Environment for Geometry cs.CY · 2015 · author #1
3. Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices cs.CG · 2014 · author #2
4. The Web Geometry Laboratory Project cs.CY · 2013 · author #1
5. An XML-Format for Conjectures in Geometry (Work-in-Progress) cs.CG · 2012 · author #1

Mentions

• 1506.00128 #1 · backfill · confidence 0.70 Pedro Quaresma
• 1403.2194 #2 · backfill · confidence 0.70 Pedro Quaresma
• 1305.5703 #1 · backfill · confidence 0.70 Pedro Quaresma
• 1207.2511 #1 · backfill · confidence 0.70 Pedro Quaresma

Frequent Coauthors

• Vanda Santos 2 shared papers
• Milena Mari\'c 1 shared papers
• Seifeddine Bouallegue 1 shared papers
• Serge Autexier 1 shared papers
• Yannis Haralambous 1 shared papers