Buscar

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

 Detalle_Publicacion

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.

Otras publicaciones de la misma revista o congreso con autores/as de la Universidad de Cantabria

 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

Autores/as

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

VÉLEZ, M. PILAR