中文版 | English

在结果中检索

IMECH-IR

浏览/检索结果: 共6条，第1-6条 帮助

已选(0)清除 条数/页：   排序方式：
数学机械化问题中的向量加工 期刊论文
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
作者:  刘尊全;  秦朝斌
Adobe PDF(126Kb)  |  收藏  |  浏览/下载：433/134  |  提交时间：2009/08/03
数学机械化  多项式算法  微分方程组  机械化算法  人工智能  公式推导  程序系统  数学问题  机器定理证明  
Mechanical Deduction of Formulas of Differential-Equations .1. 期刊论文
SCIENTIA SINICA, 1981, 卷号: 24, 期号: 3, 页码: 313-323
作者:  Liu ZQ(刘尊全);  Qin CB(秦朝斌);  LIU, ZQ (reprint author), ACAD SINICA,INST APPL MATH,PEKING,PEOPLES R CHINA.
浏览  |  Adobe PDF(1564Kb)  |  收藏  |  浏览/下载：96/12  |  提交时间：2016/01/11
微分方程公式的机器推导(Ⅱ) 期刊论文
科学通报, 1981, 卷号: 26, 期号: 5, 页码: 257-258
作者:  刘尊全;  秦朝斌
Adobe PDF(101Kb)  |  收藏  |  浏览/下载：395/160  |  提交时间：2009/08/03
微分方程  文献  条件  H型  中国科学院  数学机械化  教授  
FORTRAN语言的非数值应用 期刊论文
计算机学报, 1980, 卷号: 3, 期号: 3, 页码: 280-285
作者:  刘尊全;  秦朝斌
Adobe PDF(294Kb)  |  收藏  |  浏览/下载：434/118  |  提交时间：2009/08/03
非数值应用  Fortran语言  微分方程  公式推导  极限环  系统设计  数值计算  程序系统  Hilbert第16问题  
微分方程公式推导程序系统的设计和实现 期刊论文
自然杂志, 1980, 卷号: 3, 期号: 6, 页码: 473
作者:  刘尊全;  秦朝斌
Adobe PDF(78Kb)  |  收藏  |  浏览/下载：409/108  |  提交时间：2009/08/03
公式推导  微分方程  程序系统  多项式运算  高速计算机  新尝试  中国科学院  应用软件  通用性  
微分方程公式的机器推导(Ⅰ) 期刊论文
中国科学A辑, 1980, 期号: 8, 页码: 812-819
作者:  刘尊全;  秦朝斌
Adobe PDF(258Kb)  |  收藏  |  浏览/下载：579/134  |  提交时间：2009/08/03
微分方程  公式推导  极限环  多项式方程  渐近稳定  结果  研究成果  算法  数值计算