同类推荐
-
-
线性代数与概率统计:经管类:高职高专版
-
¥53.00
-
-
梅森素数
-
¥58.00
-
-
面向计算机科学的组合数学
-
¥60.00
-
-
离散数学:思维与挑战
-
¥59.00
-
-
离散数学及应用
-
¥40.00
-
-
离散数学
-
¥49.00
-
-
离散数学:模型与应用:models and appli…
-
¥79.00
-
-
离散数学:模型与应用:models and appli…
-
¥79.00
-
-
离散数学:模型与应用:models and appli…
-
¥79.00
-
-
图的零度若干问题研究
-
¥68.00
|
|
图书信息
|
|
|
|
矩阵结构与矩阵函数的形式化
|
| ISBN： | 9787030763303 |
定价： | ￥78.00 |
| 作者： | 施智平[等]著 |
出版社： | 科学出版社 |
| 出版时间： | 2023年09月 |
开本： | 24cm |
| 页数： | 100页 |
装祯： | 平装 |
中图法： | O151.21 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
5
|
库区4/库区7/库区8/样本7/样本8
|
2026-06-11
|
|
其它供货商库存合计
|
202
|
|
2026-06-11
|
图书简介 | | 本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。 |
|