期刊文献+

从中国古代数学思想到数学机械化现状

From the Chinese ancient mathematics thought to present condition of the mathematica mechanization
下载PDF
导出
摘要 本文从中国古代数学思想谈起,分别叙述了数学机械化在国内外的发展历程及遇到的困难;引入吴文俊的历史性突破以及张景中、杨路等的再发展;分析了该领域的发展现状与前景。 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.
  • 相关文献

参考文献3

二级参考文献29

  • 1张景中,杨路.定理机械化证明的数值并行法及单点例证法原理概述[J].数学的实践与认识,1989,19(1):34-43. 被引量:9
  • 2张景中,杨路,高小山,周咸青.几何定理可读证明的自动生成[J].计算机学报,1995,18(5):380-393. 被引量:22
  • 3李继闵.《九章算术》及其刘徽注研究[M].西安:陕西人民教育出版社,1990.92-105.
  • 4吴文俊.初等几何判定问题与机械化证明[J].中国科学,1977,(6):507-516.
  • 5[1]吴文俊.吴文俊文集[C].济南:山东教育出版社,1986.
  • 6[2]吴文俊.吴文俊论数学机械化[C].济南:山东教育出版社,1996.
  • 7[5]Wu Wen-tsun. Mathematics Mechanization[M]. Beijing, Science Press,China & Dordrecht, Kluwer Academic Publishers, The Netherlands, 2000.
  • 8[9]程民德主编.中国数学发展的若干主攻方向[C].南京:江苏教育出版社,1994.
  • 9杨路,Sci China A,1996年,39卷,6期,628页
  • 10杨路,非线性方程组与定理机器证明,1996年

共引文献63

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部