置换群运算与证明的数学机械化

置换群运算与证明的数学机械化应用数学（APPLIED MATHEMATICS）是应用目的明确的数学理论和方法的总称，研究如何应用数学知识到其它范畴（尤其是科学）的数学分枝，可以说是纯数学的相反。包括微分方程、向量分析、矩阵、傅里叶变换、复变分析、数值方法、概率论、数理统计、运筹学、控制理论、组合数学、信息论等许多数学分支，也包括从各种应用领域中提出的数学问题的研究。计算数学有时也可视为应用数学的一部分。 ..