Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorHeintz, Joos Ulrich-
dc.creatorKuijpers, Bart-
dc.creatorRojas Paredes, Andres Avelino-
dc.date2017-04-28T20:37:43Z-
dc.date2017-04-28T20:37:43Z-
dc.date2013-02-
dc.date2017-04-28T20:28:46Z-
dc.date.accessioned2019-04-29T15:41:49Z-
dc.date.available2019-04-29T15:41:49Z-
dc.date.issued2013-02-
dc.identifierHeintz, Joos Ulrich; Kuijpers, Bart; Rojas Paredes, Andres Avelino; Software Engineering and complexity in effective Algebraic Geometry; Elsevier Inc; Journal Of Complexity; 29; 1; 2-2013; 92-138-
dc.identifier0885-064X-
dc.identifierhttp://hdl.handle.net/11336/15847-
dc.identifier.urihttp://rodna.bn.gov.ar:8080/jspui/handle/bnmm/299794-
dc.descriptionOne may represent polynomials not only by their coefficients but also by arithmetic circuits which evaluate them. This idea allowed in the past fifteen years considerable complexity progress in effective polynomial equation solving. We present a circuit based computation model which captures all known symbolic elimination algorithms in effective Algebraic Geometry and exhibit a class of simple elimination problems which require exponential size circuits to be solved in this model. This implies that the known, circuit based elimination algorithms are already optimal.-
dc.descriptionFil: Heintz, Joos Ulrich. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Universidad de Cantabria; España. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina-
dc.descriptionFil: Kuijpers, Bart. Hasselt University; Bélgica-
dc.descriptionFil: Rojas Paredes, Andres Avelino. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina-
dc.formatapplication/pdf-
dc.formatapplication/pdf-
dc.formatapplication/pdf-
dc.formatapplication/pdf-
dc.languageeng-
dc.publisherElsevier Inc-
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.jco.2012.04.005-
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0885064X1200043X-
dc.rightsinfo:eu-repo/semantics/restrictedAccess-
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/-
dc.sourcereponame:CONICET Digital (CONICET)-
dc.sourceinstname:Consejo Nacional de Investigaciones Científicas y Técnicas-
dc.sourceinstacron:CONICET-
dc.subjectROBUST PARAMETERIZED ARITHMETIC CIRCUIT-
dc.subjectISOPARAMETRIC ROUTINE-
dc.subjectBRANCHING PARSIMONIOUS ALGORITHM-
dc.subjectFLAT FAMILY OF ZERO DIMENSIONAL ELIMINATION PROBLEMS-
dc.subjectCiencias de la Computación-
dc.subjectCiencias de la Computación e Información-
dc.subjectCIENCIAS NATURALES Y EXACTAS-
dc.titleSoftware Engineering and complexity in effective Algebraic Geometry-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
dc.typeinfo:ar-repo/semantics/articulo-
Aparece en las colecciones: CONICET

Ficheros en este ítem:
No hay ficheros asociados a este ítem.