Tesis doctoral de Klemens Haegele Hans
En esta memoria se desarrolla un estudio de las alturas y de los grados de los polinomios que aparecen en la identidad de bézout que se tiene para sistemas inconsistentes como afirmado por el teorema de los ceros o nullstellensatz. para dicho estudio se introducen nuevas invariantes intrínsecas asociadas a la naturaleza geométrica y diofántica del objeto que permitan una mejor interpretación semántica del problema que las acotaciones anteriormente obtenidas a partir de los parámetros de una representación puramente sintáctica. se dan dos resultados principales donde se demuestra que, tanto la complejidad del proceso de división implicado de la identidad de bézout, como la altura de los polinomios que aparecen en el mismo, se pueden acotar por cantidades polinomiales en todos los parámetros involucrados, tanto sintácticos como semánticos. cabe destacar, que es la primera vez que se obtiene un nullstellensatz aritmético con cotas polinomiales en las invariantes intrínsecas.
Datos académicos de la tesis doctoral «Intrinsic height estimates for the nullstellensatz.«
- Título de la tesis: Intrinsic height estimates for the nullstellensatz.
- Autor: Klemens Haegele Hans
- Universidad: Cantabria
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- Pardo Vasallo Luis Miguel
- Tribunal
- Presidente del tribunal: Tomas Recio Muñiz
- Gerhard Phister (vocal)
- Eberhard Becker (vocal)
- Francisco Marcellan Español (vocal)