On linear differential systems with power series coefficients

par Sergei A. Abramov (Computing Centre of the Russian Academy of Sciences)

jeudi 29 mars 2012, 10:30 → 11:30 Europe/Paris

XR.203 (Bâtiment XLIM)

Given an arbitrary-order linear differential system with formal power series coefficients, we want to decide whether the system has non-zero Laurent series solutions. We suppose that the series coefficients of systems are represented algorithmically, and this implies that the question under consideration is undecidable in general. However it is decidable in the case when we know in advance that a given system is of full rank (a joint work with M.Barkatou and D.Khmelnov).