摘要：使用改进后的Bareiss消去法，在求解具有符号系数的线性方程组时可以避免普通Gauss消去法在计算过程中出现所谓中间系数爆炸的问题，还可以求解系数矩阵不是方阵以及系数矩阵奇异的线性方程组的情况．并且以这一改进算法与syzygy算法为基础，给出了求解多项式系数线性方程组的多项式解的算法．已经在自行开发的自动推理平台软件MMP上实现了这个算法．

关键词：bareiss消去法 符号计算 线性方程组 合冲 

单位：中国科学院数学与系统科学研究院数学机械化重点实验室; 北京100080