2. 您的位置
3. 首页
4. 期刊论文
5. 数学机械化研究回顾与展望

数学机械化研究回顾与展望

来源 :系统科学与数学 | 被引量 : 0次 | 上传用户：liongliong458

【摘 要】

：

回顾了脑力劳动机械化思想形成的过程,介绍了数学机械化研究的主要结果,并展望了数学机械化在未来的发展.

【作 者】

：

吴文俊 

【机 构】

：

中国科学院数学与系统科学研究院系统所,北京,100190

【出 处】

：

系统科学与数学

【发表日期】

：

2008年08期

【关键词】

：

脑力劳动机械化 数学机械化 方程求解 机器证明 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

回顾了脑力劳动机械化思想形成的过程,介绍了数学机械化研究的主要结果,并展望了数学机械化在未来的发展.

其他文献