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

图书标准信息

• 作者 施智平；吴爱轩；关永；王国辉；张倩颖
• 出版社 科学出版社
• 出版时间 2023-09
• 版次 31
• ISBN 9787030763303
• 定价 78.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 112页
• 字数 150.000千字

【内容简介】

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。