摘要
本文从中国古代数学思想谈起,分别叙述了数学机械化在国内外的发展历程及遇到的困难;引入吴文俊的历史性突破以及张景中、杨路等的再发展;分析了该领域的发展现状与前景。
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.
出处
《广州广播电视大学学报》
2005年第1期44-47,共4页
Journal of Guangzhou Open University
关键词
数学机械化
中国
古代数学思想
算筹
mathematica mechanization
Automated Theorem Proving
development history.
