书目详细信息
： 吴文俊全集:mechanical theorem proving in geometries: basic principles.Ⅱ,数学机械化卷
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5088-5551-6:CNY158.00 |
|---|---|
| 作品语种： | eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 吴文俊全集/.吴文俊著/.高小山编订 |
| 出版发行项： | 北京:,科学出版社:,2019 |
| 载体形态项： | 12, 288页:;+照片:;+24cm |
| 一般附注： | 国家出版基金项目 |
| 提要文摘： | 本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4、5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 |
| 并列题名： | Complete works of Wu Wen-Tsun eng |
| 题名主题： | 数学 文集 |
| 题名主题： | 数学理论 文集 |
| 中图分类： | O1-53 |
| 中图分类： | O1-0 |
| 个人名称等同： | 吴文俊 著 |
| 个人名称次要： | 高小山 编订 |
| 记录来源： | CN JCUL 20190613 |