论初等几何定理的机器证明与消去法
图书信息
书名：论初等几何定理的机器证明与消去法作者：朱望规
包装：平装
开本：16
全文字数：382000
出版社：国防工业出版社
出版时间：2016-06-01
图书简介
《论初等几何定理的机器证明与消去法》是一本介绍数学机器证明与消去法的专业书籍。本书涵盖了欧几里得几何、笛卡尔几何、公理系统、Morley定理、Simson定理等多个内容。通过本书的学习，读者可以了解到如何用高斯消去法证明Morley定理，并可在不知不觉中学会做机器证明。本书对IT行业的从业人员，以及欲进入人工智能领域的读者无疑是一本非常合适的参考用书。
推荐理由
《论初等几何定理的机器证明与消去法》是一本非常适合想要了解数学机器证明与消去法的读者阅读的书籍。通过本书的学习，读者可以了解到欧几里得几何、笛卡尔几何、公理系统、Morley定理、Simson定理等多个内容，让读者对数学机器证明与消去法有更加全面的了解。同时，本书也适合IT行业的从业人员和想要进入人工智能领域的读者阅读，能够帮助他们更好地理解人工智能的相关内容。