%0 Journal Article %T The Improved Bareiss Algorithm of Solving Linear Equations Symbolically
线性方程组符号求解Bareiss算法的改进与实现 %A WANG Xin-min %A GAO Xiao-shan %A
王新民 %A 高小山 %J 系统工程理论与实践 %D 2004 %I %X Comparing with the Gauss method for solving linear equations, the Bareiss elimination method can be used to avoid the phenomenon of coefficient explosion in the computation process. Using the improved Bareiss elimination method, we can solve linear equations whose coefficient matrix is singular or the coefficient matrix is not square. Based on this improvement and the syzygy algorithm, we give an algorithm to find polynomial solutions to a system of linear equations with polynomial coefficients. We implement the algorithms in the software MMP (Mathematics Mechanization Platform) developed by ourselves. %K Bareiss elimination method %K symbolic computation %K singular %K linear equations %K syzygy
Bareiss消去法 %K 符号计算 %K 线性方程组 %K 合冲 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=3F2526269A46775C&yid=D0E58B75BFD8E51C&vid=B91E8C6D6FE990DB&iid=DF92D298D3FF1E6E&sid=10F298ED9F164662&eid=DBF54A8E2A721A6D&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=0&reference_num=5