出版社：国防工业出版社
年代：2016
定价：88.0
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出现的问题与困难。
| 书籍详细信息 | |||
| 书名 | 论初等几何定理的机器证明与消去法站内查询相似图书 | ||
| 9787118105155 如需购买下载《论初等几何定理的机器证明与消去法》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 国防工业出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 88.0 | 语种 | 简体中文 |
| 尺寸 | 26 × 19 | 装帧 | 平装 |
| 页数 | 印数 | ||
论初等几何定理的机器证明与消去法是国防工业出版社于2016.3出版的中图分类号为 O123 的主题关于 初等几何－机器证明－消去法 的书籍。