微分方程公式的机器推导(Ⅰ)
Data(s) |
1980
|
---|---|
Resumo |
本文阐述了微分方程公式推导程序系统的算法,这个系统已经实现,并成功地用于极限环的研究工作.作为一个具体例子和验证,文中给出了右方为二次多项式方程的机器结果,并指出了Н.Н.Баутин所发表结果中的符号错误. 本文是微分方程公式推导研究成果的第一部分. |
Identificador | |
Idioma(s) |
中文 |
Fonte |
中国科学A辑.1980(8):812-819 |
Palavras-Chave | #微分方程 #公式推导 #极限环 #多项式方程 #渐近稳定 #结果 #研究成果 #算法 #数值计算 |
Tipo |
期刊论文 |