微分方程公式的机器推导(Ⅰ)
文献类型：期刊论文
| 作者 | 刘尊全
|
| 刊名 | 中国科学A辑
 |
| 出版日期 | 1980 |
| 期号 | 8页码:812-819 |
| 关键词 | 微分方程 公式推导 极限环 多项式方程 渐近稳定 结果 研究成果 算法 数值计算 |
| ISSN号 | 1006-9232 |
| 通讯作者 | 刘尊全 |
| 中文摘要 | 本文阐述了微分方程公式推导程序系统的算法,这个系统已经实现,并成功地用于极限环的研究工作.作为一个具体例子和验证,文中给出了右方为二次多项式方程的机器结果,并指出了Н.Н.Баутин所发表结果中的符号错误. 本文是微分方程公式推导研究成果的第一部分. |
| 语种 | 中文 |
| 公开日期 | 2009-08-03 ; 2010-08-20 |
| 源URL | [http://dspace.imech.ac.cn/handle/311007/38504]  |
| 专题 | 力学研究所_力学所知识产出(1956-2008) |
| 通讯作者 | 刘尊全 |
| 推荐引用方式 GB/T 7714 | 刘尊全. 微分方程公式的机器推导(Ⅰ)[J]. 中国科学A辑,1980(8):812-819. |
| APA | 刘尊全.(1980).微分方程公式的机器推导(Ⅰ).中国科学A辑(8),812-819. |
| MLA | 刘尊全."微分方程公式的机器推导(Ⅰ)".中国科学A辑 .8(1980):812-819. |
入库方式： OAI收割
来源：力学研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。