全新正版图书 矩阵结构与矩阵函数的形式化施智平科学出版社9787030763303
正版图书保证质量 七天无理由退货让您购物无忧
¥
53
6.8折
¥
78
全新
库存69件
作者施智平[等]著
出版社科学出版社
ISBN9787030763303
出版时间2023-09
版次1
装帧平装
开本B5
定价78元
货号R_13775332
上书时间2023-12-02
商品详情
- 品相描述:全新
-
全新正版
- 商品描述
-
在使用ITP技术来验证日趋复杂的现代工程应用问题时,是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明。
— 没有更多了 —
以下为对购买帮助不大的评价