Chinese | English

Search in the results

IMECH-IR

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
数学机械化问题中的向量加工 期刊论文
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
Authors:  刘尊全;  秦朝斌
Adobe PDF(126Kb)  |  Favorite  |  View/Download：444/137  |  Submit date：2009/08/03
数学机械化  多项式算法  微分方程组  机械化算法  人工智能  公式推导  程序系统  数学问题  机器定理证明  
Mechanical Deduction of Formulas of Differential-Equations .1. 期刊论文
SCIENTIA SINICA, 1981, 卷号: 24, 期号: 3, 页码: 313-323
Authors:  Liu ZQ(刘尊全);  Qin CB(秦朝斌);  LIU, ZQ (reprint author), ACAD SINICA,INST APPL MATH,PEKING,PEOPLES R CHINA.
View  |  Adobe PDF(1564Kb)  |  Favorite  |  View/Download：119/12  |  Submit date：2016/01/11
微分方程公式的机器推导(Ⅱ) 期刊论文
科学通报, 1981, 卷号: 26, 期号: 5, 页码: 257-258
Authors:  刘尊全;  秦朝斌
Adobe PDF(101Kb)  |  Favorite  |  View/Download：413/171  |  Submit date：2009/08/03
微分方程  文献  条件  H型  中国科学院  数学机械化  教授  
FORTRAN语言的非数值应用 期刊论文
计算机学报, 1980, 卷号: 3, 期号: 3, 页码: 280-285
Authors:  刘尊全;  秦朝斌
Adobe PDF(294Kb)  |  Favorite  |  View/Download：450/128  |  Submit date：2009/08/03
非数值应用  Fortran语言  微分方程  公式推导  极限环  系统设计  数值计算  程序系统  Hilbert第16问题  
微分方程公式推导程序系统的设计和实现 期刊论文
自然杂志, 1980, 卷号: 3, 期号: 6, 页码: 473
Authors:  刘尊全;  秦朝斌
Adobe PDF(78Kb)  |  Favorite  |  View/Download：416/110  |  Submit date：2009/08/03
公式推导  微分方程  程序系统  多项式运算  高速计算机  新尝试  中国科学院  应用软件  通用性  
微分方程公式的机器推导(Ⅰ) 期刊论文
中国科学A辑, 1980, 期号: 8, 页码: 812-819
Authors:  刘尊全;  秦朝斌
Adobe PDF(258Kb)  |  Favorite  |  View/Download：599/147  |  Submit date：2009/08/03
微分方程  公式推导  极限环  多项式方程  渐近稳定  结果  研究成果  算法  数值计算