RT info:eu-repo/semantics/doctoralThesis T1 Métodos numérico-simbólicos para calcular soluciones liouvillianas de ecuaciones diferenciales lineales A1 Llorente Mediavilla, Alberto A2 Universidad de Valladolid. Facultad de Ciencias K1 Ecuaciones diferenciales lineales K1 Galois, teoría de K1 Números complejos K1 Algoritmos AB El objetivo de esta tesis es dar un algoritmo para decidir si un sistema explicitable de ecuaciones diferenciales kJiferenciales de orden superior sobre las funciones racionales complejas, dado simbólicamente,admite!Soluciones liouvillianas no nulas, calculando una (de laforma dada por un teorema de Singer) en caso!afirmativo. mediante métodos numérico-simbólicos del tipo Introducido por van der Hoeven.donde el uso de álculo numérico no compromete la corrección simbólica. Para ello se Introduce untipo de grupos algebraicos lineales, los grupos euriméricos, y se calcula el cierre eurimérico del grupo de Galois diferencial,mediante una modificación del algoritmo de Derksen y van der Hoeven, dado por los generadores de Ramis. YR 2014 FD 2014 LK http://uvadoc.uva.es/handle/10324/5297 UL http://uvadoc.uva.es/handle/10324/5297 LA spa NO Departamento de Algebra, Análisis Matemático, Geometría y Topología DS UVaDOC RD 25-abr-2024