Towards a Geometry Automated Provers Competition

Bibliographic Details
Main Author: Baeta, Nuno
Publication Date: 2020
Other Authors: Quaresma, Pedro, Kovács, Zoltán
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/10316/105903
https://doi.org/10.4204/EPTCS.313.6
Summary: In Proceedings ThEdu'19, arXiv:2002.11895
id RCAP_ec9d07bfc318a8fdadf2fe4f5833a018
oai_identifier_str oai:estudogeral.uc.pt:10316/105903
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Towards a Geometry Automated Provers CompetitionComputer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3In Proceedings ThEdu'19, arXiv:2002.11895The 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.2020-02-28info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://hdl.handle.net/10316/105903https://hdl.handle.net/10316/105903https://doi.org/10.4204/EPTCS.313.6eng2075-2180Baeta, NunoQuaresma, PedroKovács, Zoltáninfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2023-03-14T21:32:06Zoai:estudogeral.uc.pt:10316/105903Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T05:56:19.814815Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Towards a Geometry Automated Provers Competition
title Towards a Geometry Automated Provers Competition
spellingShingle Towards a Geometry Automated Provers Competition
Baeta, Nuno
Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3
title_short Towards a Geometry Automated Provers Competition
title_full Towards a Geometry Automated Provers Competition
title_fullStr Towards a Geometry Automated Provers Competition
title_full_unstemmed Towards a Geometry Automated Provers Competition
title_sort Towards a Geometry Automated Provers Competition
author Baeta, Nuno
author_facet Baeta, Nuno
Quaresma, Pedro
Kovács, Zoltán
author_role author
author2 Quaresma, Pedro
Kovács, Zoltán
author2_role author
author
dc.contributor.author.fl_str_mv Baeta, Nuno
Quaresma, Pedro
Kovács, Zoltán
dc.subject.por.fl_str_mv Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3
topic Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3
description In Proceedings ThEdu'19, arXiv:2002.11895
publishDate 2020
dc.date.none.fl_str_mv 2020-02-28
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10316/105903
https://hdl.handle.net/10316/105903
https://doi.org/10.4204/EPTCS.313.6
url https://hdl.handle.net/10316/105903
https://doi.org/10.4204/EPTCS.313.6
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2075-2180
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833602523931344896

Similar Items