书目

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

内容简介

《论初等几何定理的机器证明与消去法》肯定了hi公式组线性时，用高斯消去法必然成功；同时指出非线性时，有可能得不到期望的结果，也有可能得不到三角阵列的Fi公式组，从而做不了消去法。《论初等几何定理的机器证明与消去法》对有志于机器证明的读者有一定参考价值，能在不知不觉中学会做机器证明。对IT行业的从业人员，以及欲进入人工智能领域的读者无疑是一本为合适的参考用书。

目录

—  END  —