论初等几何定理的机器证明与消去法

论初等几何定理的机器证明与消去法

朱望规, 著

出版社:国防工业出版社

年代:2016

定价:88.0

书籍简介:

本书介绍初等几何的机器证明,重点是消去法。本书详细且细微地介绍了初等几何定理,如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组;同时本书也提出了在公式推导过程中可能出现的问题与困难。

书籍规格:

书籍详细信息
书名论初等几何定理的机器证明与消去法站内查询相似图书
9787118105155
如需购买下载《论初等几何定理的机器证明与消去法》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位国防工业出版社
版次1版印次1
定价(元)88.0语种简体中文
尺寸26 × 19装帧平装
页数印数

书籍信息归属:

论初等几何定理的机器证明与消去法是国防工业出版社于2016.3出版的中图分类号为 O123 的主题关于 初等几何-机器证明-消去法 的书籍。