机读格式显示(MARC)

• 000 00982nam0 2200253 450

• 001 0000194270

• 005 20210704185700.0

• 010 __ |a 978-7-03-063033-9 |d CNY99.00

• 100 __ |a 20200720d2020 kemy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a v 000yy

• 106 __ |a r

• 200 1_ |a 几何代数的形式化与初步应用 |9 ji he dai shu de xing shi hua yu chu bu ying yong |b 专著 |f 关永，李黎明，施智平著

• 210 __ |a 北京 |c 科学出版社 |d 2020

• 215 __ |a 10,140页 |c 图 |d 24cm

• 330 __ |a 本书内容涵盖了自动定理证明、机器人、形式化验证等人工智能领域。全书主要内容包括：几何代数理论的进展、形式化理论；HOLLight定理证明器体系；几何代数结构的形式化；几何与物理解释的形式化；单目相机姿态估计模型的形式化分析、对称陀螺运动的形式化分析等初步应用案例。

• 606 0_ |a 人工智能 |x 研究

• 690 __ |a TP181 |v 5

• 701 _0 |a 关永 |9 guan yong |4 著

• 701 _0 |a 李黎明 |9 li li ming |4 著

• 701 _0 |a 施智平 |9 shi zhi ping |4 著

• 801 _0 |a CN |b GDPTC |c 20210704

• 905 __ |a GDPTC |d TP181/141