Knowledge Management System of Institue of Mechanics, CAS
| 数学机械化问题中的向量加工 | |
刘尊全 ; 秦朝斌
| |
| 发表期刊 | 计算机学报
 |
| 1982 | |
| 卷号 | 5期号:3页码:222-225 |
| ISSN | 0254-4164 |
| 摘要 | <正> 1.多项式算法 数学机械化必须首先解决一类数学问题本身的机械化算法问题。作者通过微分方程机械化的实践,并分析了近年来各数学分支领域机械化的结果,认识到这样一个基本事实:相当多一类数学问题的机器定理证明和公式推导,都是对其问题本身寻求代数表示方法,其核心问题最后归结为多项式算法。因此,多项式算法是一个典型的机械化算法。 |
| 关键词 | 数学机械化 多项式算法 微分方程组 机械化算法 人工智能 公式推导 程序系统 数学问题 机器定理证明 |
| 语种 | 中文 |
| 文献类型 | 期刊论文 |
| 条目标识符 | 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 | 刘尊全,et al."数学机械化问题中的向量加工".计算机学报 5.3(1982):222-225. |
| 条目包含的文件 | 下载所有文件 | |||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| Paper1207.pdf（126KB） | 开放获取 | -- | 浏览 下载 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| Lanfanshu学术 |
| Lanfanshu学术中相似的文章 |
| [刘尊全]的文章 |
| [秦朝斌]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [刘尊全]的文章 |
| [秦朝斌]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [刘尊全]的文章 |
| [秦朝斌]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论