位置：成果数据库 > 期刊 > 期刊详情页
数学与思维机械化之路
  • 期刊名称：“太原理工大学学报（社科版）”， Vol.24, No.3, pp. 1-6, (2006)
  • 时间：0
  • 相关项目：二十世纪数学史研究（续）
作者： 李文林
同期刊论文项目
二十世纪数学史研究（续）
期刊论文 16 会议论文 3 著作 4
同项目期刊论文
读陈省身传有感
On the Algorithmic Spirit of A
公理化的历史发展
中国古代数学的发展及其影响
从费马大定理到卡塔兰猜想
On the Mechanical Character of
黎曼的几何思想萌芽
高斯哥本哈根获奖论文及其对内蕴微分几何学的贡献
高斯的内蕴微分几何与非欧几何
格林与水波
爱因斯坦与布朗运动的数学理论
流形概念的起源与发展
数学史观下的数学概念教学新模式
George Green对早期孤立子数学理论的重要贡献
剑桥分析学派与孤立波近似理论的建立