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

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

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

ISBN: 978-84-608-9024-9

Year of publication: 2016

Pages: 117-120

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

Type: Conference paper

Abstract

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.