Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPedro Quaresma
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j6]Pedro Quaresma, Vanda Santos
, Pierluigi Graziani, Nuno Baeta:
Taxonomies of geometric problems. J. Symb. Comput. 97: 31-55 (2020)- [i5]Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software. CoRR abs/2002.11895 (2020)
2010 – 2019
- 2019
- [e8]Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, THedu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents] - 2018
- [j5]Pedro Quaresma, Vanda Santos, Milena Maric:
WGL, a web laboratory for geometry. EAIT 23(1): 237-252 (2018) - [j4]Vanda Santos, Pedro Quaresma, Milena Maric, Helena Campos:
Web geometry laboratory: case studies in Portugal and Serbia. Interactive Learning Environments 26(1): 3-21 (2018) - [c15]Pedro Quaresma:
Automatic Deduction in an AI Geometry Book. AISC 2018: 221-226 - [c14]Nuno Baeta, Pedro Quaresma:
Towards Ranking Geometric Automated Theorem Provers. THedu@FLoC 2018: 30-37 - [e7]Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents] - 2017
- [j3]Pedro Quaresma:
Towards an Intelligent and Dynamic Geometry Book. Mathematics in Computer Science 11(3-4): 427-437 (2017) - [c13]Pedro Quaresma, Vanda Santos, Nuno Baeta:
Exchange of Geometric Information Between Applications. ThEdu@CADE 2017: 108-119 - [e6]Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda:
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. CEUR Workshop Proceedings 1785, CEUR-WS.org 2017 [contents] - [e5]Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents] - 2015
- [e4]Francisco Botana, Pedro Quaresma:
Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9201, Springer 2015, ISBN 978-3-319-21361-3 [contents] - [i4]Pedro Quaresma, Vanda Santos, Milena Maric:
A Web Environment for Geometry. CoRR abs/1506.00128 (2015) - 2014
- [c12]Pedro Quaresma, Nuno Baeta:
Current Status of the I2GATP Common Format. ADG 2014: 119-128 - [c11]Yannis Haralambous, Pedro Quaresma:
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. CICM 2014: 298-311 - [c10]Pedro Quaresma, Vanda Santos, Juan Moral:
Reproducing a Geometric Working Session. CICM Workshops 2014 - [e3]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [i3]Yannis Haralambous, Pedro Quaresma:
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. CoRR abs/1403.2194 (2014) - 2013
- [c9]Vanda Santos, Pedro Quaresma:
Collaborative environment for geometry. exp.at 2013: 42-46 - [c8]Nuno Baeta, Pedro Quaresma:
The full angle method on the OpenGeoProver. CICM Workshops 2013 - [c7]Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue:
The Web Geometry Laboratory Project. MKM/Calculemus/DML 2013: 364-368 - [e2]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013 [contents] - [i2]Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue:
The Web Geometry Laboratory Project. CoRR abs/1305.5703 (2013) - 2012
- [j2]Predrag Janicic, Julien Narboux, Pedro Quaresma:
The Area Method - A Recapitulation. J. Autom. Reasoning 48(4): 489-532 (2012) - [i1]Pedro Quaresma:
An XML-Format for Conjectures in Geometry (Work-in-Progress). CoRR abs/1207.2511 (2012) - 2011
- [c6]Vanda Santos, Pedro Quaresma:
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment. THedu 2011: 111-123 - [e1]Pedro Quaresma, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011 [contents] - 2010
- [c5]Pedro Quaresma:
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). Automated Deduction in Geometry 2010: 169-181
2000 – 2009
- 2008
- [c4]Vanda Santos, Pedro Quaresma:
E-Learning Course for Euclidean Geometry. ICALT 2008: 387-388 - 2007
- [j1]Pedro Quaresma, Predrag Janicic:
GeoThms - a Web System for Euclidean Constructive Geometry. Electron. Notes Theor. Comput. Sci. 174(2): 35-48 (2007) - 2006
- [c3]Predrag Janicic, Pedro Quaresma:
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry 2006: 39-51 - [c2]Predrag Janicic, Pedro Quaresma:
System Description: GCLCprover + GeoThms. IJCAR 2006: 145-150 - [c1]Pedro Quaresma, Predrag Janicic:
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM 2006: 280-294
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-03-06 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
