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

价　　格：¥25.80

作　　者：朱望规著

ISBN：978-7-118-10515-5

出版社：国防工业出版社

出版日期：2016.06

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：论初等几何定理的机器证明与消去法
作者：朱望规著
ISBN：978-7-118-10515-5
出版社：国防工业出版社
出版日期：2016.06
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出现的问题与困难。

上一本：计算爆炸力学

下一本：极化微波成像