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

收藏
  • 【作者】朱望规
  • 【关键词】初等几何 机器证明 消去法
  • 【出版社】国防工业出版社
  • 【出版日期】2016
  • 【ISBN】978-7-118-10515-5
  • 【中图分类号】 O123
  • 【内容简介】本书介绍了初等几何机器证明,重点是消去法。首先介绍初等几何定理,如何通过坐标化,将已知条件转化为hi公式组,再形成三角阵列的Fi公式组(三角阵列是消去法的前提)。再将定理的结论形成gj公式组。消去法是对gj逐个用Fi(Fn,Fn-1,…,F1)做消去,最后如果所有gj=0,则结论成立。全部展开
  • 【页码】257页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 宁波图书馆 安吉县图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。