Tesis doctoral de Raquel Martinez Fernandez
Esta tesis presenta las tecnicas algebraicas fundamentales para el tratamiento recursivo de sucesiones de recurrencia lineal definidas en un dominio de factorizacion unica. Estas tecnicas se aplican al diseño de algoritmos simbolicos que determinan la relacion de orden minimo de una sucesion de recurrencia lineal, asi como rangos y determinantes de matrices generadas por estas sucesiones. Se desarrolla la conexion de la teoria de sucesiones de recurrencia lineal con: la teoria de realizacion minima, la teoria de funciones racionales y el algebra computacional. esta conexion permite la construccion de algoritmos para la determinacion de resultantes de polinomios multivariables y de otras cuestiones relevantes en calculo simbolico. (Polinomios de bezout a dos polinomios dados, numero de raices reales distintas de un polinomio real, etc), y se realiza la implementacion de estos algoritmos en maple. El proceso anterior culmina en el diseño y construccion del paquete de funciones, denominado irs, que integra los procedimientos construidos en un sistema completo.
Datos académicos de la tesis doctoral «Procedimientos de recurrencia lineal en algebra computacional«
- Título de la tesis: Procedimientos de recurrencia lineal en algebra computacional
- Autor: Raquel Martinez Fernandez
- Universidad: Alcalá
- Fecha de lectura de la tesis: 01/01/1992
Dirección y tribunal
- Director de la tesis
- Juan Llovet Verdugo
- Tribunal
- Presidente del tribunal: Tomas Recio Muñiz
- José Alberto Jaén Gallego (vocal)
- Freire Nistal José Luis (vocal)
- Michael Rothstein (vocal)