Tesis doctoral de David Castro Esteban
La presente memoria se enmarca dentro de la disciplina «fundamentos de las matematicas computacionales». En concreto, ciñe su ambito de accion al campo de la resolucion eficaz de sistemas de ecuaciones polinomiales multivariadas. Tiene como objetivo el estudio de las distintas estructuras de datos que representan el conjunto de soluciones de dichas ecuaciones. los principales resultados contenidos en la memoria se resumen en los siguientes epigrafes. -cotas inferiores de carácter exponencial para la complejidad del calculo de soluciones aproximadas suponiendo el modelo discreto de maquinas de turing, esto es, que las ecuaciones tengan sus coeficientes en el cuerpo de los racionales. -equiValencia computacional de las representaciones numericas y simbolicas en el modelo discreto. -unificacion del modelo discreto (maquinas de turing) y el continuo (analisis numerico, complejidad algebraica de los fundamentos de analisis numerico (numero de condicionamiento) mediante la geometria de los numeros. -unificacion parcial de la fundamentacion del calculo simbolico y del analisis numerico en el caso continuo (complejidad algebraica) gracias a la teoria de la deformacion y la teoria de singularidades.
Datos académicos de la tesis doctoral «Sobre la complejidad de la representacion de variedades algebraicas«
- Título de la tesis: Sobre la complejidad de la representacion de variedades algebraicas
- Autor: David Castro Esteban
- Universidad: Cantabria
- Fecha de lectura de la tesis: 06/07/2001
Dirección y tribunal
- Director de la tesis
- Pardo Vasallo Luis Miguel
- Tribunal
- Presidente del tribunal: leon atilano Gonzalez sotos
- jean-pierre Dedieu (vocal)
- marc Giusti (vocal)
- jean-claude Yakoubsohn (vocal)