机读格式显示(MARC)
- 000 01019nam0 2200277 450
- 010 __ |a 978-7-03-063033-9 |d CNY99.00
- 100 __ |a 20200602d2020 em y0chiy50 ea
- 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
- 330 __ |a 本书以几何代数理论体系与自动定理证明思想为指导,研究了几何代数的形式化理论与公理化体系,构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系,对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳。
- 606 0_ |a 人工智能 |A ren gong zhi neng |x 算法 |x 研究
- 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 HDUL |c 20200707
- 905 __ |a HDUL |d TP18/8303