杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

几何定理机器证明的几何不变量方法/张景中, 高小山, 周咸青著

出版发行项:

北京:科学出版社,2015

ISBN及定价:

978-7-03-044066-2 精装/CNY128.00

载体形态项:

14, 318页;25cm

丛编项:

数学机械化丛书;12

个人责任者:

张景中 著

个人责任者:

高小山 著

个人责任者:

周咸青 著

学科主题:

几何-定理证明-机器证明

中图法分类号:

O18

书目附注:

有书目 (第310-316页) 和索引

提要文摘附注:

本书系统介绍了几何定理机器证明的几何不变量方法，主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法。

使用对象附注:

本书可作为数学、计算机科学以及相关工程领域的科研人员、教师以及研究生了解几何定理机械证明几何不变量方法的参考书，也可作为高等院校与中学教师进行几何教育改革的参考书。

豆瓣简介：