|
|||||
|
|
| 微分方程公式的机器推导(Ⅰ) | |
| 引用本文： | 刘尊全,秦朝斌.微分方程公式的机器推导(Ⅰ)[J].中国科学A辑,1980,23(8):812-820. |
| 作者姓名： | 刘尊全 秦朝斌 |
| 作者单位： | 1 中国科学院应用数学研究所 2 中国科学院力学研究所 |
| 摘 要： | 本文阐述了微分方程公式推导程序系统的算法,这个系统已经实现,并成功地用于极限环的研究工作.作为一个具体例子和验证,文中给出了右方为二次多项式方程的机器结果,并指出了Н.Н.Баутин所发表结果中的符号错误. 本文是微分方程公式推导研究成果的第一部分. |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |