自然图像、高光谱图像、医学图像、视频以及社交网络数据本质上都属于多模态数据，张量是多模态数据的自然表示形式. 近十余年来，张量学习的研究引起了国内外研究者的广泛关注，并取得了一批非常优秀的成果，被广泛应用于机器学习、模式识别、图像处理、计算机视觉、数据挖掘以及社交网络分析等领域。本书从张量的基本概念和代数运算出发，基于多元统计分析和小样本学习理论的两条主线，详细归纳和总结了国内外研究者在张量分解、张量子空间学习、有监督张量学习、带噪声和缺失数据的张量子空间学习、张量子空间学习在图像补全和去噪中的应用、张量子空间学习在数据挖掘中的应用等方面取得的**成果。

本书采用以问题与分析的形式解答理工科院校高等数学教学中常见的典型问题，对每章在教学和学习中出现的典型问题给与了详细的分析和解答，对部分重要的知识点进行了拓展，具体内容包括函数、极限与连续，一元函数微分学，一元函数积分学，微分方程，向量代数与空间解析几何，多元函数微分学，多元函数积分学，无穷级数等。

椭圆曲线密码体制（ECC）是当前主流的公钥密码体制，该体制的安全核心是椭圆曲线离散对数问题（ECDLP）。本书首先对椭圆曲线离散对数及其相关问题，以及它们之间的相互关系进行了探讨，然后主要介绍了椭圆曲线离散对数问题的计算方法，包括通用的平方根算法及其改进、特殊椭圆曲线离散对数的计算方法、指标计算方法的努力、归约到NPC问题的方法和量子算法等，基本涵盖了ECDLP的所有求解算法。这些算法大都给出了实例验证，这为读者更好地理解它们提供了帮助。

计算，实际上是解决问题的过程。人们希望用计算机能找到解决一切问题的方法，因此在计算领域建立了算法理论和算法模型，并根据各种问题提出具体算法。而计算的复杂性是现代数学中最令人着迷的领域之一。本书通过几个经典的计算问题：哥尼斯堡七桥问题、汉密尔顿路径问题、整数分解和国际象棋问题，浅探计算的魅力。

《特殊函数概论》是著名学者王竹溪先生的著作，书中系统地讲述了一些主要的特殊函数，如超几何函数、勒让德函数、合流超几何函数、贝塞耳函数、椭圆函数、椭球谐函数、马丢（Mathieu）函数。原著书中有360多道习题，习题数目巨大，且难度很高，如果单由读者去自行解答，会给读者带来很大的困难和困惑。吴崇试教授根据书中内容，总结书中习题的解法，系统的编写了这一本一本配套《特殊函数概论》的习题解答书，书中不仅全面解答了原著中的所有习题，还对原著中存在的很多错误进行了纠正。

本书被选编入了斯普林格经典的“数学研究生教材”系列。尽管市场上有关编码理论的书籍繁多，这本书以其高品质脱颖而出，是编码理论相关书籍榜上畅销不衰的经典。本书特色在于：简短、精确、数学严谨地介绍了书本主题内容，从数学家的角度清晰地提出了基本概念和思想，并在各种特殊类型的代码中加以说明。本书被推崇为每个想要了解编码代数理论的数学家的要读之书。再版版本除了添加了编码增益等内容，还附上了关于编码理论的最新文献，让读者能够进一步拓展知识面。

暂缺简介...

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

概率方法是一种用随机数学研究图论和其他众多数学分支的方法和理论体系。它已经对数学基础理论和工业生产实际相关问题的建模和解决产生了深刻影响，而随机图的思想也对组合数学、理论计算机科学乃至整个数学的发展产生了重要作用。本书是著名数学家Joel Spencer（2021年Steele奖得主）关于“概率方法”的系列报告——概率方法十讲。作者用百页左右的笔墨构建了整个随机图和概率方法的宏大体系，通过例子详细介绍了随机图的基本模型、期望和方差等基本概念和方法、消去法和去随机化方法，也非常精彩地介绍了Lovász的局部引理和Spencer自己的得意之作“偏差”。这些内容对于那些想要迅速掌握随机图基本工具的数学工作者、统计学家乃至工程师，或者想迅速进入该领域开展研究的年轻学子都是有益的。 本书可作为数学、计算机、信息安全等专业的高年级本科生和研究生教材，也可作为想窥探随机方法概貌的科研工作者的案头读物。

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。