中国古算的程序化思想与吴文俊的数学机械化工作
中国传统数学的构造性和程序化思想启发和影响了吴文俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力 .
作 者: 甘向阳 作者单位: 岳阳师范学院数学系 刊 名: 湘潭师范学院学报(自然科学版) 英文刊名: JOURNAL OF XIANGTAN NORMAL UNIVERSITY 年,卷(期): 2001 23(3) 分类号: N09 O119 关键词: 中国古算 程序化思想 吴文俊 机器证明 数学机械化推荐文档列表
中国古算的程序化思想与吴文俊的数学机械化工作
中国传统数学的构造性和程序化思想启发和影响了吴文俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力 .
作 者: 甘向阳 作者单位: 岳阳师范学院数学系 刊 名: 湘潭师范学院学报(自然科学版) 英文刊名: JOURNAL OF XIANGTAN NORMAL UNIVERSITY 年,卷(期): 2001 23(3) 分类号: N09 O119 关键词: 中国古算 程序化思想 吴文俊 机器证明 数学机械化