MARC状态:已编 文献类型:中文图书 浏览次数:5
- 题名/责任者:
- 几何定理机器证明的几何不变量方法/张景中,高小山,周咸青著
- 出版发行项:
- 北京:科学出版社,2015.04
- ISBN及定价:
- 978-7-03-044066-2 精装/CNY128.00
- 载体形态项:
- 14,318页:图;25cm
- 丛编项:
- 数学机械化丛书;12
- 个人责任者:
- 张景中 著
- 个人责任者:
- 高小山 著
- 个人责任者:
- 周咸青 著
- 学科主题:
- 几何-定理证明-机器证明
- 中图法分类号:
- O18-39
- 提要文摘附注:
- 本书主要内容包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法。
- 使用对象附注:
- 高校师生
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O18-39/2 | A6203864 | 自然科学书库(七里坪新馆六楼) | 可借 | 自然科学书库(七里坪新馆六楼) | |
O18-39/2 | A6203865 | 自然科学书库(七里坪新馆六楼) | 可借 | 自然科学书库(七里坪新馆六楼) | |
O18-39/2 | A6203866 | 自然科学书库(七里坪新馆六楼) | 可借 | 自然科学书库(七里坪新馆六楼) |
显示全部馆藏信息