同类推荐
-
-
初等数论及其应用
-
¥239.00
-
-
近世代数
-
¥49.00
-
-
近世代数
-
¥49.00
-
-
近世代数
-
¥49.00
-
-
线性代数
-
¥229.00
-
-
线性代数
-
¥229.00
-
-
线性代数
-
¥229.00
-
-
图论入门
-
¥79.00
-
-
线性代数
-
¥46.00
-
-
可积Hamilton系统与周期背景上的非线性波
-
¥128.00
|
|
图书信息
|
|
|
|
矩阵结构与矩阵函数的形式化
|
| ISBN： | 9787030763303 |
定价： | ￥78.00 |
| 作者： | 施智平[等]著 |
出版社： | 科学出版社 |
| 出版时间： | 2023年09月 |
开本： | 24cm |
| 页数： | 100页 |
装祯： | 平装 |
中图法： | O151.21 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
5
|
库区4/库区7/库区8/样本7/样本8
|
2026-04-05
|
|
其它供货商库存合计
|
202
|
|
2026-04-03
|
图书简介 | | 本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。 |
|