发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

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

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

吴文俊著
  • 作者吴文俊著
  • 出版社北京:科学出版社
  • 标注页数234 页
  • 文件页数246 页
  • 文件大小8.54 MB
  • 出版时间2010
  • ISBN9787030283771
内容简介
1984年,吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版,这部专著遵循机械化思想引进数系和公理,依照机械化观点系统地分析了各类几何体系,明确建立了各类几何的机械化定理,着重阐明几何定理机械化证明的基本原理
← 返回【学霸图书馆】主页