张宝善、沈雁、蒋永泉编著的《高等代数与符号运算》是新编数学与信息类专业系列教材之一。教材共分9章，主要介绍矩阵概念、运算与初等变换(第1章)，一元多项式基本理论(第2章)，行列式(第3章)，线性方程组理论及应用(第4章)，可逆矩阵及应用(第5章)，二次型(第6章)，线性空间(第7章)，线性变换(第8章)，欧几里得空间理论及应用(第9章)。每节后配有练习题，供学生课后练习和复习巩固知识点使用。书末列出附录，以便于读者进行高等代数符号运算编程时参考。

张宝善、沈雁、蒋永泉编著的《高等代数与符号运算》是高等代数经典理论与计算机符号运算的有机结合，是数值分析、最优化方法、微分方程、控制论与矩阵分析、数学模型等数学分支及工程学科的重要应用工具。《高等代数与符号运算》是为适应现代计算技术、工程应用、应用数学研究及数学与应用数学等专业高等代数教学需要而编写的。全书共分9章，包括矩阵理论初步、多项式、行列式、线性方程组、可逆矩阵、二次型、线性空间、线性变换、欧几里得空间理论及应用，内容系统全面，同时还系统介绍了数学软件Mathematica的符号运算方法及应用。

《高等代数与符号运算》是作者多年从事高等代数教学与符号运算研究的总结，既可作为理工科高等代数课程的教学用书，也可作为高校理科及相关专业教师、科研及工程人员、研究生等从事科学计算与研究的参考书。

第1章 矩阵理论初步

 1.1 数域

 1.2 矩阵

 1.3 矩阵的运算

 1.4 矩阵的初等变换

 1.5 矩阵的Mathematica符号运算

第2章 多项式

 2.1 一元多项式

 2.2 多项式的整除与因式分解定理

 2.3 多项式函数

 2.4 复系数与实系数多项式的因式分解

 2.5 有理系数多项式的因式分解

 2.6 多项式的Mathematica符号运算

第3章 行列式

 3.1 引言

 3.2 排列

 3.3 n阶行列式

 3.4 n阶行列式的性质

 3.5 行列式的三角计算法

 3.6 行列式按一行(列)展开

 3.7 克拉默(Cramer)法则

 3.8 行列式的Mathematica符号运算

第4章 线性方程组

 4.1 消元法

 4.2 n维向量空间

 4.3 线性相关性

 4.4 矩阵的秩

 4.5 线性方程组有解的判别定理

 4.6 线性方程组解的结构

 4.7 线性方程组反问题

 4.8 求解线性方程组的Mathematica符号运算

第5章 可逆矩阵

 5.1 矩阵乘积的行列式与秩

 5.2 矩阵的逆矩阵

 5.3 矩阵的分块及其应用

 5.4 初等矩阵及其应用

 5.5 分块乘法的初等变换及应用

 5.6 可逆矩阵的Mathematica符号运算

第6章 二次型

 6.1 二次型及矩阵表示

 6.2 非退化线性替换与二次型的简化

 6.3 标准形

 6.4 唯一性与规范形问题

 6.5 正定二次型

 6.6 二次型的Mathematica符号运算

第7章 线性空间

 7.1 线性空间的定义与简单性质

 7.2 维数、基与坐标

 7.3 基变换与坐标变换

 7.4 线性子空间

 7.5 子空间的交与和

 7.6 子空间的直和

 7.7 线性空间的同构

 7.8 线性空间的Mathematica符号运算

第8章 线性变换

 8.1 线性变换的概念与基本性质

 8.2 线性变换的运算

 8.3 线性变换与矩阵

 8.4 特征值与特征向量

 8.5 可对角化矩阵

 8.6 线性变换的值域与核

 8.7 不变子空间及其应用

 8.8 若当(Jordan)标准形简介

 8.9 线性变换的Mathematica符号运算

第9章 欧几里得空间

 9.1 欧几里得空间的定义与基本性质

 9.2 标准正交基

 9.3 欧几里得空间的同构

 9.4 正交变换

 9.5 子空间的正交与正交补

 9.6 对称变换及其应用

 9.7 最小二乘法及其应用

 9.8 欧几里得空间的Mathematica符号运算

附录 高等代数Mathematica符号运算编程初步

参考文献