弗朗索瓦·布利埃；弗朗索瓦·莱梅尔 用正规形式模微分正则链求第一积分。 （英语） Zbl 1434.12003年 Gerdt，Vladimir P.（编辑）等人，科学计算中的计算机代数。2015年9月14日至18日在德国亚琛举行的第17届CASC国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9301, 101-118 (2015). 摘要：本文介绍了微分代数中多项式第一积分的定义及其计算算法。该方法已在Maple计算机代数系统中编码，并在摆和Lotka-Volterra方程中进行了说明。我们的算法相当于找到有理分式的线性相关性，这可以通过评估技术解决。有关整个系列，请参见[Zbl 1321.68010号]. 引用于三文件 MSC公司： 05年12月12日 微分代数 34-04 与常微分方程有关的问题的软件、源代码等 34二氧化碳 积分曲线、奇点、常微分方程极限环的拓扑结构 68瓦30 符号计算和代数计算 关键词：第一积分；线性代数；微分代数；非线性系统 软件：枫树；叶片 PDF格式BibTeX公司 XML格式引用 \textit{F.Boulier}和\textit{F.Lemaire}，莱克特。注释计算。科学。9301、101--118（2015；Zbl 1434.12003） 全文： 内政部 哈尔