机读格式显示(MARC)

• 000 01075nam0 2200265 450

• 001 0000531676

• 005 20200911135100.0

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

• 100 __ |a 20200602d2020 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

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

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

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

• 320 __ |a 有书目

• 330 __ |a 全书主要内容包括: 几何代数理论的进展、形式化理论; HOL Light定理证明器体系; 几何代数结构的形式化; 几何与物理解释的形式化; 单目相机姿态估计模型的形式化分析、对称陀螺运动的形式化分析等初步应用案例。作者长期对系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代, 本书是对该过程成果的高度凝练与系统总结。

• 606 0_ |a 人工智能 |A ren gong zhi neng |x 研究

• 690 __ |a TP18 |v 5

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

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

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

• 801 _0 |a CN |b LIB |c 20200911

• 905 __ |a LIB |d TP18/222