微分方程公式的机器推导(Ⅱ)
文献类型：期刊论文
| 作者 | 刘尊全
|
| 刊名 | 科学通报
 |
| 出版日期 | 1981 |
| 卷号 | 26期号:5页码:257-258 |
| 关键词 | 微分方程 文献 条件 H型 中国科学院 数学机械化 教授 |
| ISSN号 | 0023-074X |
| 通讯作者 | 刘尊全 |
| 中文摘要 | <正> 在文献[1]中我们开展了微分方程公式的机器推导,并在一个特例,即型的情形,计算了V_3、V_5、V_7。在文献[1]中V_3为2项,V_5为17项,V_7为74项。在V_3=0的条件下,加工出为5项,在V_3=V_5=0的条件下,加工出为9项。 |
| 语种 | 中文 |
| 公开日期 | 2009-08-03 ; 2010-08-20 |
| 源URL | [http://dspace.imech.ac.cn/handle/311007/38282]  |
| 专题 | 力学研究所_力学所知识产出(1956-2008) |
| 通讯作者 | 刘尊全 |
| 推荐引用方式 GB/T 7714 | 刘尊全. 微分方程公式的机器推导(Ⅱ)[J]. 科学通报,1981,26(5):257-258. |
| APA | 刘尊全.(1981).微分方程公式的机器推导(Ⅱ).科学通报,26(5),257-258. |
| MLA | 刘尊全."微分方程公式的机器推导(Ⅱ)".科学通报 26.5(1981):257-258. |
入库方式： OAI收割
来源：力学研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。