- 书名：几何定理机器证明的几何不变量方法
- 出版社：科学出版社
- 作者：张景中 高小山 周咸青
- 出版年份：2015
- 电子书格式： pdf
- 简介：本书深入探讨了利用几何不变量方法进行几何定理机器证明的理论和实践，是国内首部系统阐述该方法的专著。内容涵盖了不变量理论基础、算法设计、程序实现以及应用案例分析等方面，适合数学、计算机科学等专业的研究人员、高校教师和研究生阅读，对于提升几何定理证明的自动化水平具有重要参考价值。本书作者张景中、高小山、周咸青均为国内几何证明领域权威专家，其研究成果在国际上也享有盛誉。
- ISBN：
- 下载地址（点击下载）：
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)