矩阵结构与矩阵函数的形式化

矩阵结构与矩阵函数的形式化
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
出版社: 科学出版社
2023-09
版次: 31
ISBN: 9787030763303
定价: 78.00
装帧: 其他
开本: 16开
纸张: 胶版纸
页数: 112页
字数: 150.000千字
2人买过
  • 本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系,并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括:矩阵结构的形式化;矩阵序列与矩阵级数理论的形式化;矩阵函数微分的形式化;矩阵理论的自动化定理证明;矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
  • 内容简介:
    本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系,并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括:矩阵结构的形式化;矩阵序列与矩阵级数理论的形式化;矩阵函数微分的形式化;矩阵理论的自动化定理证明;矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
查看详情
12
相关图书 / 更多
矩阵结构与矩阵函数的形式化
矩阵理论及其应用(英文版)
邱启荣;韩励佳;魏军强
矩阵结构与矩阵函数的形式化
矩阵摄影全景黄山
全景黄山》编委会 编;《矩阵 摄影
矩阵结构与矩阵函数的形式化
矩阵之美----基础篇
耿修瑞
矩阵结构与矩阵函数的形式化
矩阵力量:线性代数全彩图解+微课+Python编程
姜伟生
矩阵结构与矩阵函数的形式化
矩阵论学习方法指导
孟祥豹
矩阵结构与矩阵函数的形式化
矩阵半张量积讲义-卷四-有限与泛维数动态系统
程代展
矩阵结构与矩阵函数的形式化
矩阵理论及其应用
郑修才
矩阵结构与矩阵函数的形式化
矩阵分析与应用
张兆军、李灿、段纳 编
矩阵结构与矩阵函数的形式化
矩阵特征值估计及计算方法
李月爽
矩阵结构与矩阵函数的形式化
矩阵半张量积讲义 卷三: 有限博弈的矩阵半张量积方法
程代展;李长喜;郝亚琦;张潇
矩阵结构与矩阵函数的形式化
矩阵变换器基础理论
孙尧;粟梅;王辉
矩阵结构与矩阵函数的形式化
矩阵理论
刘启明 编
您可能感兴趣 / 更多
矩阵结构与矩阵函数的形式化
哈密顿力学理论的形式化与机器人动力学形式化分析
施智平;王国辉;关永;王瑞