本项目是基于同济大学《高等数学》教材中关于多元函数极值求解的数学模型开发的自动化计算工具。其核心功能是实现对任意给定多元函数的驻点搜索与极值属性鉴定。程序采用符号计算方法,首先对目标函数进行求导运算得到梯度向量,通过求解非线性方程组确定所有潜在的驻点位置。随后,程序通过计算二阶偏导数矩阵即黑塞矩阵(Hessian Matrix)并分析其特征值或利用经典判别式即AC减B方的方法来判定各驻点的类型。程序中完整收录并实现了同济版《高等数学》中的三个经典例题,包括无约束极值问题的典型求解过程,旨在展示如何将复杂的