Product Details 基本信息 ISBN-13 书号 9787030763303 Author 作者 施智平，吴爱轩，关永，王国辉，张倩颖 Format 版本 平装-胶订 Pages Number 页数 112页 Publisher 出版社 科学出版社 Publication Date 出版日期 2023-09-01 Product Dimensions 商品尺寸 B5 Language 语种 其它（含多语） Book Contents 内容简介 在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明。
¥61.00定价：¥122.00 (5折)
