几何定理机器证明的几何不变量方法（张景中高小山周咸青）（2015）epub,mobi,azw3,pdf格式kindle电子书下载，作者：

几何定理机器证明的几何不变量方法（张景中高小山周咸青）（2015）

反馈

书名
几何定理机器证明的几何不变量方法（张景中高小山周咸青）（2015）

内容简介

书名：几何定理机器证明的几何不变量方法
出版社：科学出版社
作者：张景中高小山周咸青
出版年份：2015
电子书格式： pdf
简介：本书深入探讨了利用几何不变量方法进行几何定理机器证明的理论和实践，是国内首部系统阐述该方法的专著。内容涵盖了不变量理论基础、算法设计、程序实现以及应用案例分析等方面，适合数学、计算机科学等专业的研究人员、高校教师和研究生阅读，对于提升几何定理证明的自动化水平具有重要参考价值。本书作者张景中、高小山、周咸青均为国内几何证明领域权威专家，其研究成果在国际上也享有盛誉。
ISBN：

下载地址

下载几何定理机器证明的几何不变量方法（张景中高小山周咸青）（2015）

猜你喜欢

大家都喜欢

热门推荐