几何定理机器证明的基本原理：初等几何部分吴文俊

  • 选择标签：数理化
  • 出版时间：2025-08-10
  • ISBN：9787030283771
  • 出版社：科学出版社
  • 作者：吴文俊, 著
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机械化证明的基本原理
获取图书
点赞(0)