Mostrar el registro sencillo del ítem

dc.contributor.author
Perrucci, Daniel Roberto  
dc.contributor.author
Roy, Marie Françoise  
dc.date.available
2022-06-08T17:52:09Z  
dc.date.issued
2017-08  
dc.identifier.citation
Perrucci, Daniel Roberto; Roy, Marie Françoise; Elementary recursive quantifier elimination based on Thom encoding and sign determination; Elsevier Science; Annals Of Pure And Applied Logic; 168; 8; 8-2017; 1588-1604  
dc.identifier.issn
0168-0072  
dc.identifier.uri
http://hdl.handle.net/11336/159267  
dc.description.abstract
We describe a new quantifier elimination algorithm for real closed fields based onThom encoding and sign determination. The complexity of this algorithm is elemen-tary recursive and its proof of correctness is completely algebraic. In particular, thenotion of connected components of semialgebraic sets is not used.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
QUANTIFIER ELIMINATION  
dc.subject
SIGN DETERMINATION  
dc.subject
THOM ENCODING  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Elementary recursive quantifier elimination based on Thom encoding and sign determination  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2022-04-28T14:14:06Z  
dc.journal.volume
168  
dc.journal.number
8  
dc.journal.pagination
1588-1604  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: Perrucci, Daniel Roberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas "Luis A. Santaló". Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigaciones Matemáticas "Luis A. Santaló"; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina  
dc.description.fil
Fil: Roy, Marie Françoise. Universite de Rennes I. Institut de Recherche Mathematique de Rennes; Francia  
dc.journal.title
Annals Of Pure And Applied Logic  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1016/j.apal.2017.03.001  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0168007217300325  

Archivos asociados
Thumbnail
 
Tamaño: 405.5Kb
Formato: PDF
.