Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert

Mostrar todas las versiones(3)

En esta tesis se demuestra el siguiente teorema de los ceros de Hilbertefectivo: Sea k un cuerpo infinito y perfecto, sean X1.....Xn indeterminadas sobre ky sean f1.....fs polinomios en k[X1,...,Xn]de grado acotado por un número dadod, que satisface d ≥ n. Entonces existe una red aritmética sobre k...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Sabia, Juan Vicente Rafael
Otros Autores: Heintz, Joos
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 1992
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n2524_Sabia
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id tesis:tesis_n2524_Sabia
record_format dspace
spelling tesis:tesis_n2524_Sabia2023-10-02T19:37:59Z Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert Sabia, Juan Vicente Rafael Heintz, Joos En esta tesis se demuestra el siguiente teorema de los ceros de Hilbertefectivo: Sea k un cuerpo infinito y perfecto, sean X1.....Xn indeterminadas sobre ky sean f1.....fs polinomios en k[X1,...,Xn]de grado acotado por un número dadod, que satisface d ≥ n. Entonces existe una red aritmética sobre k de tamañoso(1))do(n) y profundidad O(n4 log2 sd) que decide si el ideal generado porf1....,fS en k[X1,...,Xn] es trivial y, si este es el caso, produce un cálculo deevaluación de longitud so(1)do(n) y profundidad 0(n4 log2 sd) en el cuerpode funciones k(X1,...,Xn) que calcula polinomios p1.....ps de k[X1,...,Xn] degrado do(n2) que satisfacen 1 - Σ pjfj. 1 ≤ j ≤ s Fil: Sabia, Juan Vicente Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 1992 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n2524_Sabia
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
description En esta tesis se demuestra el siguiente teorema de los ceros de Hilbertefectivo: Sea k un cuerpo infinito y perfecto, sean X1.....Xn indeterminadas sobre ky sean f1.....fs polinomios en k[X1,...,Xn]de grado acotado por un número dadod, que satisface d ≥ n. Entonces existe una red aritmética sobre k de tamañoso(1))do(n) y profundidad O(n4 log2 sd) que decide si el ideal generado porf1....,fS en k[X1,...,Xn] es trivial y, si este es el caso, produce un cálculo deevaluación de longitud so(1)do(n) y profundidad 0(n4 log2 sd) en el cuerpode funciones k(X1,...,Xn) que calcula polinomios p1.....ps de k[X1,...,Xn] degrado do(n2) que satisfacen 1 - Σ pjfj. 1 ≤ j ≤ s
author2 Heintz, Joos
author_facet Heintz, Joos
Sabia, Juan Vicente Rafael
format Tesis doctoral
Tesis doctoral
publishedVersion
author Sabia, Juan Vicente Rafael
spellingShingle Sabia, Juan Vicente Rafael
Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
author_sort Sabia, Juan Vicente Rafael
title Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
title_short Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
title_full Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
title_fullStr Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
title_full_unstemmed Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert
title_sort un algoritmo efectivo para el teorema de los ceros de hilbert
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 1992
url https://hdl.handle.net/20.500.12110/tesis_n2524_Sabia
work_keys_str_mv AT sabiajuanvicenterafael unalgoritmoefectivoparaelteoremadeloscerosdehilbert
_version_ 1782022749893427200

Ejemplares similares