| 从中国古代数学思想到数学机械化现状 |
| |
| 引用本文： | 俞健.从中国古代数学思想到数学机械化现状[J].广州广播电视大学学报,2005,5(1):44-47. |
| |
| 作者姓名： | 俞健 |
| |
| 作者单位： | 广州大学计算机教育软件研究所,广东,广州,510405 |
| |
| 摘 要： | 本文从中国古代数学思想谈起，分别叙述了数学机械化在国外的发展历程及这遇到的困难；引入吴文俊的历史性突破以及张景中、杨路等的再发展；分析了该领域的发展现状与前景。
|
| 关 键 词： | 数学机械化 中国 古代数学思想 算筹 |
| 文章编号： | 1672-0385(2005)01-0044-04 |
| 修稿时间： | 2004年11月16 |
From the Chinese ancient mathematics thought to present condition of the mathematica mechanization |
| |
| YU Jian.From the Chinese ancient mathematics thought to present condition of the mathematica mechanization[J].Journal of Guangzhou Radio & TV University,2005,5(1):44-47. |
| |
| Authors: | YU Jian |
| |
| Institution: | Guangzhou University Institute for Educational Softwares GuangZhou 510405 |
| |
| Abstract: | This text discussed from the Chinese ancient mathematics thought, described the develop history of the mathematica mechanization respectively : the develop process in the domestic and international and the difficulty; Wu,W.T.'s historic break; Zhang,J.Z, Yang,L 's further development ;and the develop present condition and foregrounds of that realm. |
| |
| Keywords: | mathematica mechanization Automated Theorem Proving development history |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
