Abstract

Linear ordinary differential equations whose coefficients are infinite (formal) power series given in a truncated form are considered. Computer algebra procedures (implemented in Maple) for constructing solutions of two forms are suggested. The procedures find the greatest number of series terms occurring in the solutions that can be found for the given truncated series—coefficients.

中文翻译：

---

截断幂级数形式的Laurent搜索程序和线性微分方程的正解

摘要

考虑系数为截断形式的无限（形式）幂级数的线性常微分方程。建议使用计算机代数程序（在Maple中实现）构造两种形式的解。该过程找到在给定的截断级数中可以找到的解中出现的最大系列项-系数。