Open Geometry Prover Community Project

Detalhes bibliográficos
Autor(a) principal: Baeta, Nuno
Data de Publicação: 2022
Outros Autores: Quaresma, Pedro
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/103873
https://doi.org/10.4204/EPTCS.352.14
Resumo: In Proceedings ADG 2021, arXiv:2112.14770
id RCAP_41c9b92a0d0c7c519729f7b82d9ecf42
oai_identifier_str oai:estudogeral.uc.pt:10316/103873
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Open Geometry Prover Community ProjectComputer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3In Proceedings ADG 2021, arXiv:2112.14770Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely. To avoid disparate efforts,the Open Geometry Prover Community Project aims at the integration of the different efforts for the development of geometry automated theorem provers, under a common "umbrella". In this article the necessary steps to such integration are specified and the current implementation of some of those steps is described.Open Publishing Association2022-01-03info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/103873http://hdl.handle.net/10316/103873https://doi.org/10.4204/EPTCS.352.14eng2075-2180Baeta, NunoQuaresma, Pedroinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-12-06T21:39:39Zoai:estudogeral.uc.pt:10316/103873Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:20:38.396191Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Open Geometry Prover Community Project
title Open Geometry Prover Community Project
spellingShingle Open Geometry Prover Community Project
Baeta, Nuno
Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3
title_short Open Geometry Prover Community Project
title_full Open Geometry Prover Community Project
title_fullStr Open Geometry Prover Community Project
title_full_unstemmed Open Geometry Prover Community Project
title_sort Open Geometry Prover Community Project
author Baeta, Nuno
author_facet Baeta, Nuno
Quaresma, Pedro
author_role author
author2 Quaresma, Pedro
author2_role author
dc.contributor.author.fl_str_mv Baeta, Nuno
Quaresma, Pedro
dc.subject.por.fl_str_mv Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3
topic Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3
description In Proceedings ADG 2021, arXiv:2112.14770
publishDate 2022
dc.date.none.fl_str_mv 2022-01-03
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 http://hdl.handle.net/10316/103873
http://hdl.handle.net/10316/103873
https://doi.org/10.4204/EPTCS.352.14
url http://hdl.handle.net/10316/103873
https://doi.org/10.4204/EPTCS.352.14
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.publisher.none.fl_str_mv Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134098449498112

Registros relacionados