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

应用复变函数与积分变换是机电、建筑、计算机和物理学等相关专业的一门重要基础课程，它既是学生学习后续专业课的基础，又是他们将来从事专业技术工作的重要基础和工具。本书是为适应培养创新型与应用型本科人才和教学改革的需要，为适应科技和工程技术人员对积分变换的需要而编写的，其内容与结构新颖，注重直观性、实用性和创新性，深入浅出，

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版

本书分11章，内容涉及数学建模简介、Python编程基础与科学计算、常微分方程及差分方程方法、偏微分方程、插值与拟合方法、**化方法、图论方法、排队论、回归分析、因子分析、时间序列预测分析方法。第3—11章每章先给出历史沿革，然后进行方法简介，最后结合实例讲解建模方法，配合数学软件的介绍和使用，加强建模求解过程的基本训

本书全面系统地介绍了三类典型偏微分方程——波动方程、热传导方程和稳定场方程求解的有限单元法。全书共分9章：第1章导出典型偏微分方程与定解条件：第2～3章介绍有限单元法的基础知识；第4～6章介绍有限单元法求解稳定场方程、热传导方程和波动方程：第7～9章讨论有限单元法在地球物理正演中的应用，书中的实例均经过验证。本书的取材

本书是微积分（第3版）（上、下册）的配套系统课教材，也分上、下册。上册内容包括函数、极限与连续、导数与微积分、微分中值定理与导数应用、不定积分和定积分及其应用。

本书是王海敏主编的《简明高等数学》(浙江工商大学出版社)的配套用书。本书按教材各章节顺序编排，每章内容由两部分组成：第一部分内容概要，主要是系统归纳总结这一章的基本概念、基本定理和基本方法，梳理知识结构；第二部分习题全解，与教材的习题一一对应进行详细解答，方便读者检查对所学内容的掌握程度，巩固学习效果。

本书主要是为参加全国硕士研究生招生考试的考生编撰的一本数学真题书，将真题按照题型去划分，旨在帮助学生掌握考研数学大纲要求考点内容，掌握基本知识点及其考法。同时能够帮助考生训练真题，掌握真题命题规律和出题技巧，从而达到赢取高分的效果。本书适合一轮基础复习结束，已经进入强化阶段复习学生使用，有利于考生在强化复习阶段更灵活地

本书是髙等学校数学建模课程教材，共12章，包括数学建校概述、初等模型、微分方程模型、差分方程模型、概率与随机模型、数学规划模型、数据处理模型、问归分析模型、分类模型、评价模型、预测模型、现代优化算法。本书以数学建模方法为主线，以解决社会生活和生产符理等领域中的实际问题为切入点，着重介绍解决问题的数学建模思想方法和基本过

本书根据高等职业教育经济管理类专业的高等数学（经济数学）基础课程教学基本要求，结合编者多年教学实践，综合编者长期教学改革和探索进行编写，力求体现高等职业教育经济管理类专业的特点，体现数学素养和数学应用能力的培养。本书共八章，内容包括函数与极限、导数、导数的应用、不定积分、定积分、定积分的应用、向量与空间解析几何初步、线