摘要
M.A.Barkatou博士。 计算线性微分方程形式解的有理牛顿算法。 在 1988年ISSAC会议录，Springer计算机科学讲稿第358卷 , 1988. 谷歌学者 
数字图书馆 
M.A.Barkatou博士。 计算线性微分系统在不规则奇异点附近的形式基本矩阵解的指数部分的算法。 应用程序日志。 藻类。 在工程通信和公司 ., 8(1):1--23, 1997. 谷歌学者 数字图书馆 M.A.Barkatou博士。 关于线性微分方程组的有理解。 符号计算杂志 , 28:547--567, 1999. 谷歌学者 数字图书馆 M.A.Barkatou博士。 使用特征环分解线性函数方程组。 符号算法的最新进展，Proc。 加拿大安大略省滑铁卢研讨会（2006年4月10日-12日） ，I.Kotsireas和E.Zima（编辑），《世界科学》：22-422007。 谷歌学者 M.A.Barkatou、T.Cluzeau和C.El Bacha。 高阶线性微分系统的简单形式及其在计算正则解中的应用。 符号计算杂志 , 46:633--658, 2011. 谷歌学者 数字图书馆 M.A.Barkatou、T.Cluzeau和J.A.Weil。 将偏微分系统分解为正特征。 符号计算微分方程（DESC书），编辑D.Wang，Birkhaüser , 2005. 谷歌学者 M.A.Barkatou和E.Pfluegel。 Isolde（常线性微分方程组的积分）项目， http://isolde.sourceforge.net/。 谷歌学者 M.A.Barkatou和E.Pfluegel。 线性微分方程组的Moser和超还原算法及其复杂性。 符号计算杂志 , 44:1017--1036, 2009. 谷歌学者 数字图书馆 W.Bryc和G.Letac。 迈克斯纳矩阵系综。 出现在 行程。 理论。 普罗巴伯 ., 2012. http://arxiv.org/pdf/1009.4653v2.pdf。 谷歌学者 F.奇扎克。 将Zeilberger快速算法推广到一般完整函数。 离散数学 ., 217:115--134, 2000. 谷歌学者 数字图书馆 F.Chyzak、A.Quadrat和D.Robertz。 OreModules项目， http://wwwb.math.rwth-aachen.de/OreModules。 谷歌学者 F.Chyzak和B.Salvy。 Ore代数中的非交换消去证明了多元恒等式。 符号计算杂志 , 26:187--227, 1998. 谷歌学者 数字图书馆 T.Cluzeau和A.Quadrat。 分解一类线性函数系统。 线性算法。 及其应用程序 ., 428(1):324--381, 2008. 谷歌学者 交叉引用 
T.Cluzeau和M.van Hoeij。 计算线性微分算子指数解的模块化算法。 符号计算杂志 ，38（3）：1043-10762004。 谷歌学者 交叉引用 C.埃尔巴哈。 Méthodes algébriques pour la ré解微分方程 利摩日大学博士论文，2011年。 谷歌学者 D.Y.格里戈里耶夫。 线性常微分方程组不可约性检验的复杂性。 在 ISSAC会议记录1990 ，第225-230页，1990年。 谷歌学者 数字图书馆 E.科尔钦。 微分代数和代数群 《学术出版社》，纽约，1973年。 谷歌学者 Z.Li、F.Schwarz和S.Tsarev。 具有有限维解空间的偏微分方程因式分解系统。 符号计算杂志 , 36:443--471, 2003. 谷歌学者 数字图书馆 Z.Li、M.S.Singer、M.Wu和D.Zheng。 一种确定Laurent Ore模的一维子模的递归方法。 在 ISSAC 2006年会议记录 ，第200-208页，2006年。 谷歌学者 数字图书馆 T.Oaku、N.Takayama和H.Tsai。 完整系统的多项式和有理解。 纯粹与应用代数杂志 , 164:199--220, 2001. 谷歌学者 交叉引用 E.Pfluegel公司。 计算一阶线性微分系统指数解的算法。 在 ISSAC 1997年会议记录 ，第164-171页，1997年。 谷歌学者 数字图书馆 J.von zur Gatheren和J.Gerhard。 现代计算机代数 剑桥大学出版社，纽约，1999年。 谷歌学者 数字图书馆 吴先生。 关于Laurent-Ore代数上线性泛函系统的解和模的因式分解 Nice-Sophia Antipolis大学博士论文，2005年。 谷歌学者
建议
递归方程及其经典正交多项式解 正交系统和应用 经典正交多项式是微分方程的多项式解p“n（x） 方程式@s （x） y''（x）+@t（x）y^'（x）+@l“ny（x）=0，其中@s（x）是最多二次多项式，@t（x）是一次多项式。在这里。。。 线性微分方程多项式解的快速算法 ISSAC’05：2005年符号和代数计算国际研讨会论文集 我们研究了系数为整系数多项式的齐次线性微分方程的多项式解。 我们考虑的问题是非零多项式解的存在性，以及非零多项式解的确定。。。
