全新正版图书矩阵结构与矩阵函数的形式化施智平科学出版社9787030763303

正版图书保证质量七天无理由退货让您购物无忧

59.8 7.7折 78 全新

库存73件

北京海淀

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

作者施智平[等]著

出版社科学出版社

ISBN9787030763303

出版时间2023-09

版次1

装帧平装

开本B5

定价78元

货号R_13775332

上书时间2023-12-03

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

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

— 没有更多了 —

全新正版图书 矩阵结构与矩阵函数的形式化施智平科学出版社9787030763303