Buscar

Estamos realizando la búsqueda. Por favor, espere...

Detecting truth, just on parts

Abstract: We introduce, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true over some relevant collections of instances and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test within the dynamic geometry program GeoGebra. Our framework has some significant differences regarding some alternative, recent formulation of the ?true on components? idea; differences and similarities between both approaches are discussed here.

 Autoría: Kovács Z., Recio T., Vélez M.,

 Fuente: Revista Matematica Complutense, Volume 32, Issue 2, pp 451-474 (2019)

 Editorial: Servicio de Publicaciones, Universidad Complutense

 Fecha de publicación: 01/05/2019

 Nº de páginas: 24

 Tipo de publicación: Artículo de Revista

 DOI: 10.1007/s13163-018-0286-1

 ISSN: 1139-1138,1988-2807

 Proyecto español: MTM2017-88796-P

 Url de la publicación: https://doi.org/10.1007/s13163-018-0286-1

Autoría

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

VÉLEZ, M. PILAR