Chinese | English

Search in the results

IMECH-IR

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
数学机械化问题中的向量加工 期刊论文
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
Authors:  刘尊全;  秦朝斌
Adobe PDF(126Kb)  |  Favorite  |  View/Download：502/153  |  Submit date：2009/08/03
数学机械化  多项式算法  微分方程组  机械化算法  人工智能  公式推导  程序系统  数学问题  机器定理证明  
FORTRAN语言的非数值应用 期刊论文
计算机学报, 1980, 卷号: 3, 期号: 3, 页码: 280-285
Authors:  刘尊全;  秦朝斌
Adobe PDF(294Kb)  |  Favorite  |  View/Download：586/185  |  Submit date：2009/08/03
非数值应用  Fortran语言  微分方程  公式推导  极限环  系统设计  数值计算  程序系统  Hilbert第16问题  
微分方程公式推导程序系统的设计和实现 期刊论文
自然杂志, 1980, 卷号: 3, 期号: 6, 页码: 473
Authors:  刘尊全;  秦朝斌
Adobe PDF(78Kb)  |  Favorite  |  View/Download：478/134  |  Submit date：2009/08/03
公式推导  微分方程  程序系统  多项式运算  高速计算机  新尝试  中国科学院  应用软件  通用性  
微分方程公式的机器推导(Ⅰ) 期刊论文
中国科学A辑, 1980, 期号: 8, 页码: 812-819
Authors:  刘尊全;  秦朝斌
Adobe PDF(258Kb)  |  Favorite  |  View/Download：686/182  |  Submit date：2009/08/03
微分方程  公式推导  极限环  多项式方程  渐近稳定  结果  研究成果  算法  数值计算