次序公理相关硕士博士期刊学术论文 - 信丰网

次序公理相关论文

机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》

1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著......

期刊

定理机器证明吴文俊几何基础几何公理经典名著希尔伯特几何定理公理体系定理证明次序公理

看过本文同时还关注