谢尔盖·阿布拉莫夫。;穆雷·A·巴卡图。 线性微分系统系数作用下的可计算无穷幂级数。 （英语） Zbl 1416.68211号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8660, 1-12 (2014). 摘要：我们考虑特征为0的微分场上的线性常微分系统。我们证明了当且仅当地面微分场中的零测试问题是算法可判定的时，测试任意系统的单模性和计算解空间的维数可以在算法上完成。此外，我们考虑了系数为可计算幂级数的全秩系统，并且我们表明，尽管这样的系统具有仅涉及可计算级数的形式指数对数解的基础，但没有算法来构造这样的基础。关于整个系列，请参见[Zbl 1295.68022号]. 引用于7文件 MSC公司： 68瓦30 符号计算和代数计算 12H20型 抽象微分方程 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}和\textit{M.A.Barkatou}，莱克特。注释计算。科学。8660，1-12（2014；Zbl 1416.68211） 全文： 内政部