本文已被：浏览 3343次 下载 3275次
中文摘要: 1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著《几何定理机器证明的基本原理》(以下简称《原理》)一书,可以说是奠定了几何机械化体系的基础。它可以与《几何基础》媲美,成为机械化数学的典范著作。
Abstract:
keywords:
文章编号： 中图分类号： 文献标志码：
基金项目:
| Author Name | Affiliation |
引用文本：
王东明,高小山.机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》[J].中国科学院院刊,1987,(4):376-378.
.[J].Bulletin of Chinese Academy of Sciences,1987,(4):376-378.
王东明,高小山.机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》[J].中国科学院院刊,1987,(4):376-378.
.[J].Bulletin of Chinese Academy of Sciences,1987,(4):376-378.
