[书籍] 论初等几何定理的机器证明与消去法
出版社:
国防工业出版社
简介:
《论初等几何定理的机器证明与消去法》肯定了hi公式组线性时，用高斯消去法必然成功；同时指出非线性时，有可能得不到期望的结果，也有可能得不到三角阵列的Fi公式组，从而做不了消去法。 《论初等几何定理的机器证明与消去法》对有志于机器证明的读者有一定参考价值，能在不知不觉中学会做机器证明。对IT行业的从业人员，以及欲进入人工智能领域的读者无疑是一本为合适的参考用书。
用户推荐(0)
暂无推荐，你也可以发布推荐哦:)
0
人收藏了这本书籍
广告
登录 | 立即注册