2014 | OriginalPaper | Chapter
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems
Authors : Sergei A. Abramov, Moulay A. Barkatou
Published in: Computer Algebra in Scientific Computing
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We consider linear ordinary differential systems over a differential field of characteristic 0. We prove that testing unimodularity and computing the dimension of the solution space of an arbitrary system can be done algorithmically if and only if the zero testing problem in the ground differential field is algorithmically decidable. Moreover, we consider full-rank systems whose coefficients are computable power series and we show that, despite the fact that such a system has a basis of formal exponential-logarithmic solutions involving only computable series, there is no algorithm to construct such a basis.