说明：【数学逻辑，人工智能】 Second Order Quantifier Elimination
说明：基于Matlab的计算方法中常用的算法程序，包括高斯消去等-Based on the calculation of Matlab algorithms commonly used in procedures, including Gaussian elimination, etc.
说明：高斯消去法的matlab实现，已经整理成函数形式，可以随时调用。高斯消去法可以用于求解线性代数方程组，也可以用于需要求解其他的线性代数方程的程序当中。整个高斯消去法主要是包括从前往后消，以及从后往前消，进行规约化等步骤。
说明：分别用高斯消去法，三角分解法，Jacobi迭代法，GS迭代法，SOR迭代法求解Ax=b
说明：利用matlab程序实现列主元的高斯消去法。
说明：Gauss消元法，用于求解线性方程组，一般阶数不能太大，太大了效果不好！