Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/105903
Título: | Towards a Geometry Automated Provers Competition | Autor: | Baeta, Nuno Quaresma, Pedro Kovács, Zoltán |
Palavras-chave: | Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3 | Data: | 28-Fev-2020 | Projeto: | project CISUC - UID/CEC/00326/2019 | Título da revista, periódico, livro ou evento: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 313 | Resumo: | 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. | Descrição: | In Proceedings ThEdu'19, arXiv:2002.11895 | URI: | https://hdl.handle.net/10316/105903 | ISSN: | 2075-2180 | DOI: | 10.4204/EPTCS.313.6 | Direitos: | openAccess |
Aparece nas coleções: | I&D CISUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Towards-a-geometry-automated-provers-competitionElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 148.82 kB | Adobe PDF | Ver/Abrir |
Citações SCOPUSTM
4
Visto em 23/set/2024
Citações WEB OF SCIENCETM
2
Visto em 2/set/2024
Visualizações de página
88
Visto em 24/set/2024
Downloads
41
Visto em 24/set/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Este registo está protegido por Licença Creative Commons