MARC状态：审校 文献类型：中文图书 浏览次数：43
- 题名/责任者:
- 几何代数的形式化与初步应用/关永, 李黎明, 施智平著
- 出版发行项:
- 北京:科学出版社,2020
- ISBN及定价:
- 978-7-03-063033-9/CNY99.00
- 载体形态项:
- x, 140页:图;24cm
- 个人责任者:
- 关永 著
- 个人责任者:
- 李黎明 著
- 个人责任者:
- 施智平 著
- 学科主题:
- 人工智能-算法-研究
- 中图法分类号:
- TP18
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书以几何代数理论体系与自动定理证明思想为指导，研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP18/8303 | 72368316 |  自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP18/8303 | 72368317 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架