中教金典
荐购选采服务
馆配数据采访
教材巡展网上行
客户服务
欢迎进入中教图书商城!
购物车
登录
注册
集团用户激活
首页
中图法目录
出版社目录
新书目录
书单推荐
购物指南
关于我们
关于我们
平 台 介 绍
购 物 指 南
荣 誉 资 质
联 系 我 们
新书资讯
·---------------向阳生长 不负春
·---------------------国际妇女节
·惊蛰节气书单
·雨润万物 春回大地│雨水节气荐读
·大寒节气书单
·2024年新春荐读书单
·大码洋书目精选
·2024年1月荐读书单
新书推荐
·365名师讲堂--句透经典
·猫城记:老舍幻想集
·青年毛泽东
·创业韬略
·法律方法(第41卷)
·教子真有道
·书写未来:用书法思维提升孩子性
·中医药适宜技术
矩阵结构与矩阵函数的形式化
定 价:
¥78
中 教 价:
¥46.02
(5.90折)
库 存 数:
2
作者:施智平,吴爱轩,关永,王国辉,张倩颖
出版时间:2023/9/1
ISBN:9787030763303
出 版 社:科学出版社
中图法分类:
O151.21
页码:
纸张:胶版纸
版次:
开本:16开
商品库位:
9
7
7
8
6
7
3
0
3
3
0
0
3
购买数量:
内容简介
本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系,并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括:矩阵结构的形式化;矩阵序列与矩阵级数理论的形式化;矩阵函数微分的形式化;矩阵理论的自动化定理证明;矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
你还可能感兴趣
矩阵之美----基础篇
矩阵论
Holder不等式及其应用
广义逆的符号模式(英文版)
矩阵论
我要评论
您的姓名
验证码:
留言内容