Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/107546
Title: | Exchange of Geometric Information Between Applications | Authors: | Quaresma, Pedro Santos, Vanda Baeta, Nuno |
Issue Date: | 5-Mar-2018 | Publisher: | Open Publishing Association | Serial title, monograph or event: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 267 | Abstract: | The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems. The users of these systems should be able to profit from each other. The TGTP corpus must be made available to the WGL user, allowing, in this way, the exploration of TGTP problems and their proofs. On the other direction TGTP could gain by the possibility of a wider users base submitting new problems. Such information exchange between clients (e.g. WGL) and servers (e.g. TGTP) raises many issues: geometric search - someone, working in a geometric problem, must be able to ask for more information regarding that construction; levels of geometric knowledge and interest - the problems in the servers must be classified in such a way that, in response to a client query, only the problems in the user's level and/or interest are returned; different aims of each tool - e.g. WGL is about secondary school geometry, TGTP is about formal proofs in semi-analytic and algebraic proof methods, not a perfect match indeed; localisation issues, e.g. a Portuguese user obliged to make the query and process the answer in English; technical issues-many technical issues need to be addressed to make this exchange of geometric information possible and useful. Instead of a giant (difficult to maintain) tool, trying to cover all, the interconnection of specialised tools seems much more promising. The challenges to make that connection work are many and difficult, but, it is the authors impression, not insurmountable. | Description: | In Proceedings ThEdu'17, arXiv:1803.00722 | URI: | https://hdl.handle.net/10316/107546 | ISSN: | 2075-2180 | DOI: | 10.4204/EPTCS.267.7 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Internacionais I&D CISUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Exchange-of-geometrie-information-between-applicationsElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 338.79 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
2
checked on Aug 19, 2024
WEB OF SCIENCETM
Citations
3
checked on Aug 2, 2024
Page view(s)
57
checked on Aug 27, 2024
Download(s)
34
checked on Aug 27, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License