微分方程公式的机器推导(Ⅰ)


Autoria(s): 刘尊全; 秦朝斌
Data(s)

1980

Resumo

本文阐述了微分方程公式推导程序系统的算法,这个系统已经实现,并成功地用于极限环的研究工作.作为一个具体例子和验证,文中给出了右方为二次多项式方程的机器结果,并指出了Н.Н.Баутин所发表结果中的符号错误. 本文是微分方程公式推导研究成果的第一部分.

Identificador

http://dspace.imech.ac.cn/handle/311007/38504

http://www.irgrid.ac.cn/handle/1471x/4603

Idioma(s)

中文

Fonte

中国科学A辑.1980(8):812-819

Palavras-Chave #微分方程 #公式推导 #极限环 #多项式方程 #渐近稳定 #结果 #研究成果 #算法 #数值计算
Tipo

期刊论文