Buscar

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

 Detalle_Publicacion

Rewriting input expressions in complex algebraic geometry provers

Abstract: ABSTRACT: We present an algorithm to help converting expressions having non-negative quantities (like distances) in Euclidean geometry theorems to be usable in a complex algebraic geometry prover. The algorithm helps in refining the output of an existing prover, therefore it supports immediate deployment in high level prover systems. We prove that the algorithm may take doubly exponential time to produce the output in polynomial form, but in many cases it is still computable and useful.

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

 Fuente: Annals of Mathematics Artificial Intelligence (2019) 85:73?87

Editorial: Springer

 Año de publicación: 2019

Nº de páginas: 15

Tipo de publicación: Artículo de Revista

 DOI: 10.1007/s10472-018-9590-1

ISSN: 1012-2443,1573-7470

Proyecto español: MTM2017-88796-P . MTM2014-54141-P

Autores/as

KOVÁCS, Z.

TOMAS JESUS RECIO MUÑIZ

SÓLYOM-GECSE, C.