Knowledge Management System of Institue of Mechanics, CAS
微分方程公式的机器推导(Ⅰ) | |
刘尊全; 秦朝斌 | |
Source Publication | 中国科学A辑 |
1980 | |
Issue | 8Pages:812-819 |
ISSN | 1006-9232 |
Abstract | 本文阐述了微分方程公式推导程序系统的算法,这个系统已经实现,并成功地用于极限环的研究工作.作为一个具体例子和验证,文中给出了右方为二次多项式方程的机器结果,并指出了Н.Н.Баутин所发表结果中的符号错误. 本文是微分方程公式推导研究成果的第一部分. |
Keyword | 微分方程 公式推导 极限环 多项式方程 渐近稳定 结果 研究成果 算法 数值计算 |
Language | 中文 |
Document Type | 期刊论文 |
Identifier | http://dspace.imech.ac.cn/handle/311007/38504 |
Collection | 力学所知识产出(1956-2008) |
Corresponding Author | 刘尊全 |
Recommended Citation GB/T 7714 | 刘尊全,秦朝斌. 微分方程公式的机器推导(Ⅰ)[J]. 中国科学A辑,1980,8,:812-819. |
APA | 刘尊全,&秦朝斌.(1980).微分方程公式的机器推导(Ⅰ).中国科学A辑(8),812-819. |
MLA | 刘尊全,et al."微分方程公式的机器推导(Ⅰ)".中国科学A辑 .8(1980):812-819. |
Files in This Item: | Download All | |||||
File Name/Size | DocType | Version | Access | License | ||
Paper1463.pdf(258KB) | 开放获取 | -- | View Download |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment