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

  1. Alberto Llorente 1
  2. Jorge Mozo-Fernández 2
  1. 1 Universidad Internacional Isabel I de Castilla
    info

    Universidad Internacional Isabel I de Castilla

    Burgos, España

    ROR https://ror.org/055sgt471

  2. 2 Universidad de Valladolid
    info

    Universidad de Valladolid

    Valladolid, España

    ROR https://ror.org/01fvbaw18

Libro:
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
  1. Jónathan Heras (coord.)
  2. Ana Romero (coord.)

Editorial: Universidad de La Rioja ; Real Sociedad Matemática Española

ISBN: 978-84-608-9024-9

Año de publicación: 2016

Páginas: 117-120

Congreso: Encuentro de Algebra Computacional y Aplicaciones (15. 2016. Logroño)

Tipo: Aportación congreso

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.