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

正版保障假一赔十电子发票

48.41 6.2折 78 全新

库存20件

湖北武汉

认证卖家担保交易快速发货售后保障

作者施智平 ... [等] 著

出版社科学出版社

ISBN9787030763303

出版时间2023-09

装帧平装

开本其他

定价78元

货号4461202

上书时间2024-07-23

已实名已认证进店收藏店铺

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

内容摘要
在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明。

— 没有更多了 —