同类推荐
-
-
漫画代数
-
¥68.00
-
-
线性代数
-
¥49.00
-
-
线性代数
-
¥49.00
-
-
线性代数
-
¥49.00
-
-
大学计算代数
-
¥39.00
-
-
线性代数
-
¥49.80
-
-
线性代数
-
¥49.80
-
-
线性代数
-
¥49.80
-
-
高等代数续论
-
¥48.00
-
-
混料格点设计的理论与应用
-
¥198.00
|
|
图书信息
|
|
|
|
矩阵结构与矩阵函数的形式化
|
| ISBN： | 9787030763303 |
定价： | ￥78.00 |
| 作者： | 施智平[等]著 |
出版社： | 科学出版社 |
| 出版时间： | 2023年09月 |
开本： | 24cm |
| 页数： | 100页 |
装祯： | 平装 |
中图法： | O151.21 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
7
|
库区4/库区7/库区8/样本7/样本8
|
2025-12-20
|
|
其它供货商库存合计
|
202
|
|
2025-12-19
|
图书简介 | | 本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。 |
|