微分方程公式的机器推导(Ⅱ) |
| |
引用本文: | 刘尊全.微分方程公式的机器推导(Ⅱ)[J].科学通报,1981,26(5):257-257. |
| |
作者姓名: | 刘尊全 |
| |
作者单位: | 中国科学院应用数学研究所
(刘尊全),中国科学院力学研究所(秦朝斌) |
| |
摘 要: | 在文献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项。
|
收稿时间: | 1979-10-18 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
| 点击此处可从《科学通报》下载免费的PDF全文 |
|