A numeric-symbolic algorithm for computing the Liouvillian solutions of dierential equations and systems

• Alberto Llorente ^[1] ; Jorge Mozo-Fernández ^[2]
  1. [1] Universidad Internacional Isabel I de Castilla

     Universidad Internacional Isabel I de Castilla

     Burgos, España

     
  2. [2] Universidad de Valladolid

     Universidad de Valladolid

     Valladolid, España

     
• Localización: XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente, Ana Romero Ibáñez, 2016, ISBN 978-84-608-9024-9, págs. 117-120
• Idioma: inglés
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • We give an algorithm for deciding if an explicitable higher-order system of linear diferential equations over the complex rational functions, symbolically given, admits non-null Liouvillian solutions, computing symbolically one in the positive case, by numeric symbolic methods in the sense of J. van der Hoeven.