Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/105903
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Baeta, Nuno | - |
dc.contributor.author | Quaresma, Pedro | - |
dc.contributor.author | Kovács, Zoltán | - |
dc.date.accessioned | 2023-03-14T12:36:31Z | - |
dc.date.available | 2023-03-14T12:36:31Z | - |
dc.date.issued | 2020-02-28 | - |
dc.identifier.issn | 2075-2180 | pt |
dc.identifier.uri | https://hdl.handle.net/10316/105903 | - |
dc.description | In Proceedings ThEdu'19, arXiv:2002.11895 | pt |
dc.description.abstract | The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education). Apart from the usual measures of efficiency (e.g. CPU time), the possibility of visual and/or readable proofs is also an expected output against which the geometry automated theorem provers (GATP) should be measured. The implementation of a competition between GATP would allow to create a test bench for GATP developers to improve the existing ones and to propose new ones. It would also allow to establish a ranking for GATP that could be used by "clients" (e.g. developers of educational e-learning systems) to choose the best implementation for a given intended use. | pt |
dc.language.iso | eng | pt |
dc.relation | project CISUC - UID/CEC/00326/2019 | pt |
dc.rights | openAccess | pt |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt |
dc.subject | Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3 | pt |
dc.title | Towards a Geometry Automated Provers Competition | pt |
dc.type | article | - |
degois.publication.firstPage | 93 | pt |
degois.publication.lastPage | 100 | pt |
degois.publication.title | Electronic Proceedings in Theoretical Computer Science, EPTCS | pt |
dc.peerreviewed | yes | pt |
dc.identifier.doi | 10.4204/EPTCS.313.6 | pt |
degois.publication.volume | 313 | pt |
dc.date.embargo | 2020-02-28 | * |
uc.date.periodoEmbargo | 0 | pt |
item.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.languageiso639-1 | en | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
crisitem.author.researchunit | CISUC - Centre for Informatics and Systems of the University of Coimbra | - |
crisitem.author.parentresearchunit | Faculty of Sciences and Technology | - |
crisitem.author.orcid | 0000-0002-1629-7924 | - |
crisitem.author.orcid | 0000-0001-7728-4935 | - |
Appears in Collections: | I&D CISUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Towards-a-geometry-automated-provers-competitionElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 148.82 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
4
checked on Oct 28, 2024
WEB OF SCIENCETM
Citations
2
checked on Oct 2, 2024
Page view(s)
99
checked on Oct 22, 2024
Download(s)
45
checked on Oct 22, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License