Symbolic Computation Group

The theory of closed form solutions of linear differential equations lies in differential Galois theory. This allows us to search for solutions with a special form, for example liouvillian solutions. While this theory is available for any coefficient field, the algorithms are typically developed for linear differential equations having coefficients in C(x).In this talk we present some algorithms for solving linear differential equations where the coefficients come from exponential extensions of a base field.