数学机械化问题中的向量加工
文献类型：期刊论文
| 作者 | 刘尊全
|
| 刊名 | 计算机学报
 |
| 出版日期 | 1982 |
| 卷号 | 5期号:3页码:222-225 |
| 关键词 | 数学机械化 多项式算法 微分方程组 机械化算法 人工智能 公式推导 程序系统 数学问题 机器定理证明 |
| ISSN号 | 0254-4164 |
| 通讯作者 | 刘尊全 |
| 中文摘要 | <正> 1.多项式算法 数学机械化必须首先解决一类数学问题本身的机械化算法问题。作者通过微分方程机械化的实践,并分析了近年来各数学分支领域机械化的结果,认识到这样一个基本事实:相当多一类数学问题的机器定理证明和公式推导,都是对其问题本身寻求代数表示方法,其核心问题最后归结为多项式算法。因此,多项式算法是一个典型的机械化算法。 |
| 语种 | 中文 |
| 公开日期 | 2009-08-03 ; 2010-08-20 |
| 源URL | [http://dspace.imech.ac.cn/handle/311007/37992]  |
| 专题 | 力学研究所_力学所知识产出(1956-2008) |
| 通讯作者 | 刘尊全 |
| 推荐引用方式 GB/T 7714 | 刘尊全. 数学机械化问题中的向量加工[J]. 计算机学报,1982,5(3):222-225. |
| APA | 刘尊全.(1982).数学机械化问题中的向量加工.计算机学报,5(3),222-225. |
| MLA | 刘尊全."数学机械化问题中的向量加工".计算机学报 5.3(1982):222-225. |
入库方式： OAI收割
来源：力学研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。