几何定理机器证明的几何不变量方法
引用
收藏
作者：
张景中，高小山，周咸青
ISBN：
9787030440662
出版日期：
2015-04
版次：
1
中图分类号：
O18
学科分类：
数学
丛书：
数学机械化丛书
附注信息：
阅读
图书简介：
本书主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法。
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
