书名论初等几何定理的机器证明与消去法 书号978-7-118-10515-5 作者朱望规 出版时间2016年3月 译者 版次1版1次 开本16 装帧平装 出版基金 页数257 字数382 中图分类O123 丛书名 定价88.00 本书介绍了初等几何机器证明,重点是消去法.首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提).再将定理的结论形成gj公式组.书名论初等几何定理的机器证明与消去法 书号978-7-118-10515-5 作者朱望规 出版时间2016年3月 译者 版次1版1次 开本16 装帧平装 出版基金 页数257 字数382 中图分类O123 丛书名 定价88.00 本书介绍了初等几何机器证明,重点是消去法.首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提).再将定理的结论形成gj公式组.