确定
收藏
- [图书] 论初等几何定理的机器证明与消去法
- 作者：朱望规著
- 出版社：国防工业出版社
- 出版日期：2016
- ISBN：978-7-118-10515-5
- 内容简介：本书介绍了初等几何机器证明，重点是消去法。首先介绍初等几何定理，如何通过坐标化，将已知条件转化为hi公式组，再形成三角阵列的Fi公式组（三角阵列是消去法的前提）。再将定理的结论形成...
- 所属馆：
- 获取途径：