| dc.contributor.author | Kovács, Zoltán | |
| dc.contributor.author | Recio Muñiz, Tomás | |
| dc.contributor.author | Vélez, M. Pilar | |
| dc.contributor.other | Universidad de Cantabria | es_ES |
| dc.date.accessioned | 2019-03-07T10:28:28Z | |
| dc.date.available | 2019-03-07T10:28:28Z | |
| dc.date.issued | 2018 | |
| dc.identifier.issn | 1132-6360 | |
| dc.identifier.other | MTM2017-88796-P | es_ES |
| dc.identifier.uri | http://hdl.handle.net/10902/15828 | |
| dc.description.abstract | ABSTRACT: We investigate and generalize to an extended framework the notion of true on components labeled by Zhou, Wang and Sun in their paper "Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method", J. Automat. Reasoning 59 (3), 331-344, 2017. A new, simple criterion is presented for a statement to be simultaneously not generally true and not generally false (i.e. true on components), and its performance is exemplified through the implementation of this test in the dynamic geometry program GeoGebra. This extended abstract is based on a recent work by the authors. | es_ES |
| dc.description.sponsorship | Partially supported by the Spanish Research Project MTM2017-88796-P Computación simbólica: nuevos
retos en álgebra y geometría y sus aplicaciones. | es_ES |
| dc.format.extent | 4 p. | es_ES |
| dc.language.iso | spa | es_ES |
| dc.publisher | Academia de Ciencias Exactas Físicas Químicas y Naturales | es_ES |
| dc.rights | © Academia de Ciencias Exactas Físicas Químicas y Naturales | es_ES |
| dc.source | Monografías de la Real Academia de Ciencias. Zaragoza. 43: 111-114, (2018). | es_ES |
| dc.title | Enunciados ni ciertos ni falsos en razonamiento automático en geometría | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.relation.publisherVersion | https://eventos.unizar.es/_files/_event/_15634/_editorFiles/file/Speakers/Velez.pdf | es_ES |
| dc.rights.accessRights | openAccess | es_ES |
| dc.type.version | publishedVersion | es_ES |
