Resumen de Procedimientos de recurrencia lineal en álgebra computacional
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.
