1970年代后期,他开创了崭新的数学机械化领域,提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作。他是我国具国际影响的数

看到吴文俊先生在数学机械化方面的工作,很是向往。吴先生数学机械化或机器证明方面,从初等几何着手,在…

吴文俊的得意门生、中科院数学与系统科学研究院研究员高小山这样说道。 以上的两位数学家,堪称数学研究领域里的“实干派”。他们几乎将所有精力都投入到数学机械化的

小木虫论坛-学术科研互动平台 » 专业学科区 » 机械 » 机械 » 有没有人有数学机械化这本书电子版 2 1/1 返回列表

中国当代伟大的数学家吴文俊在数学的贡献突出表现在两个方向,一个是拓扑学,另一个就是数学机械化。所谓数学机械化,实际就是将数学问题及其解法转化为

数学机械化:回顾与展望吴文俊数学机械化这一名词取自数理逻辑学家王浩先生的著作。王浩先生毕生从事数理 逻辑的研究,不仅是一位倡导用计算机来证明逻