Please use this identifier to cite or link to this item:
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
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

Show full item record


checked on May 6, 2024


checked on May 2, 2024

Page view(s)

checked on May 14, 2024


checked on May 14, 2024

Google ScholarTM




This item is licensed under a Creative Commons License Creative Commons