Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Facultad de Ciencias Exactas y Naturales de la UBA | - |
| dc.contributor | Heintz, Joos U. | - |
| dc.contributor | Puddu, Susana Isabel | - |
| dc.creator | Puddu, Susana Isabel | - |
| dc.date.accessioned | 2018-05-04T22:07:42Z | - |
| dc.date.accessioned | 2018-05-28T16:31:27Z | - |
| dc.date.available | 2018-05-04T22:07:42Z | - |
| dc.date.available | 2018-05-28T16:31:27Z | - |
| dc.date.issued | 1995 | - |
| dc.identifier.uri | http://10.0.0.11:8080/jspui/handle/bnmm/73244 | - |
| dc.description | En este trabajo se construye un algoritmo efectivo para la eliminación de cuantificadores sobre un cuerpo algebraicamente cerrado: Se demuestra que si κ es un dominio íntegro, infinito, efectivo y cerrado para la extracción de raíces p-ésimas cuando car(κ)=p>0 y φ es una fórmula prenexa con r bloques de cuantificadores que involucra a s polinomios F1,...,Fs ε κ[X1,...,Xn] entonces existe un algoritmo bien paralelizable y sin divisiones de complejidad secuencial del orden O(|φ|) + D^[(o(n))^r] que encuentra una fórmula equivalente a φ libre de cuantificaciones, donde |φ| es la longitud φ y D = máx {1+ Σ deg F1, n, s}. Este algoritmo mejora las cotas conocidas que son del orden de O(|φ|) + D^(n^cr) con c > 1 una constante universal (ver [Ie, 1989] y [Fi-Ga-Mo, 1990]). En particular se obtiene que el carácter doblemente exponencial de las cotas conocidas en el caso de un solo bloque de cuantificadores (del tipo O(|φ|) + D^(n^c) con c > 1) no es intrínseco, es decir no depende del problema sino de los algoritmos y del tipo de codificación utilizados. Los resultados obtenidos se basan fundamentalmente en el cambio del modelo de codificación de los polinomios: en vez de representar los polinomios de salida por el vector de sus coeficientes, se los codifica por medio de una red artmética sin comparaciones ni ramas que permite evaluarlos en cualquier punto. Como aplicación, se calcula la Forma de Chow de una variedad proyectiva irreducible. | - |
| dc.description | Fil:Puddu, Susana Isabel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.publisher | Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | http://creativecommons.org/licenses/by/2.5/ar | - |
| dc.source.uri | http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_2813_Puddu | - |
| dc.title | Un algoritmo efectivo para la eliminación de cuantificadores | - |
| dc.type | info:eu-repo/semantics/doctoralThesis | - |
| dc.type | info:ar-repo/semantics/tesis doctoral | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| Aparece en las colecciones: | FCEN - Facultad de Ciencias Exactas y Naturales. UBA | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.