Procedimientos de recurrencia lineal en álgebra computacional

• Autores: Raquel Martínez Fernández
• Directores de la Tesis: Juan Llovet Verdugo (dir. tes.)
• Lectura: En la Universidad de Alcalá ( España ) en 1992
• Idioma: español
• Tribunal Calificador de la Tesis: Tomás Jesús Recio Muñiz (presid.), Luis López Corral (secret.), José Luis Freire Nistal (voc.), José Alberto Jaén Gallego (voc.), Michael Rothstein (voc.)
• Materias:
  • Matemáticas
    • Álgebra
      • Polinomios
    • Ciencia de los ordenadores
      • Lenguajes algorítmicos
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.