本书从几个著名数学问题出发，深入浅出地讲解了与我国初高中的教学实际紧密联系的数学知识，并把知识内容与数学核心素养结合起来。在这条知识主线的周边，穿插介绍知识内容的历史发展过程，对相关数学分支在数学史上的地位进行深入思考，并辅之以数学文化、趣味知识、数学游戏、数学悖论等茂盛枝叶。全书共6章，第1章介绍无处不在的杨辉三角；

本书内容全面，系统性强，涵盖了国内工科研究生对矩阵论的几乎全部知识点，并在教学结构上进行了创新的优化和调整。本书包含五章内容。第一章为对线性代数知识的回顾，第二章介绍线性空间的定义、赋范线性空间、内积空间；第三章介绍线性变换；第四章介绍若当标准型及详细的矩阵分析及矩阵函数等内容；第五章介绍矩阵分解、广义逆、Kronec

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

本书内容包括偏微分方程的基本概念，数学物理方程相关的背景，数学模型的建立与定解问题，定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。

椭圆曲线密码体制（ECC）是当前主流的公钥密码体制，该体制的安全核心是椭圆曲线离散对数问题（ECDLP）。本书首先对椭圆曲线离散对数及其相关问题，以及它们之间的相互关系进行了探讨，然后主要介绍了椭圆曲线离散对数问题的计算方法，包括通用的平方根算法及其改进、特殊椭圆曲线离散对数的计算方法、指标计算方法的努力、归约到NPC

本书共分为6章，主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。

《特殊函数概论》是著名学者王竹溪先生的著作，书中系统地讲述了一些主要的特殊函数，如超几何函数、勒让德函数、合流超几何函数、贝塞耳函数、椭圆函数、椭球谐函数、马丢(Mathieu)函数。原著书中有360多道习题，习题数目巨大，且难度很高，如果单由读者去自行解答，会给读者带来很大的困难和困惑。吴崇试教授根据书中内容，总结书

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公

本书是为天津市大学生数学竞赛(经管类)编写的辅导教材，依托历届天津市大学生数学竞赛(经管类)考试真题，在对真题深度剖析的基础上，归纳总结了数学竞赛中的经典题型和思维方法。全书共分七个部分：极限、一元函数微分学、一元函数积分学、多元函数微分学、多元函数积分学、综合问题、拓展内容。全部例题都附有详细的分析和解题过程，最重要