消去法是解决非线性多项式方程组的一个有效方法,主要包括吴方法、Grobner基和结式方法。结式方法是消去理论的重要工具,在多种结式方法中,Dixon结式的效率比较高。通过原方程组多项式的系数可以构造出Dixon结式,Dixon结式为0是多项式有公共零点的充分必要条件,这可以用来判别方程组是否可能有解。传统计算机代数系统中用Dixon结式来求解多项式方程组,受到单台计算机处理能力和存储空间的限制,阶数比较高时Dixon矩阵规模急剧扩大,计算机无法给出Dixon结式。最近符红光等人研究出了Dixon结式多项式的递归算法,为在分布式计算环境计算Dixon结式创造了条件。随着计算机技术的发展,计算速度、存储容量、网络带宽都有了很大的提高。基于高速交换网络的机群系统获得了广泛部署,同时面向下一代互联网服务的网格计算受到了世界发达国家的高度重视,纷纷开展研究、试验和部署。最近,国际上著名的符号计算平台Mathematica推出了基于网格计算的Grid-Mathematica以及清华大学和中国科学院系统所合作将吴方法移植到网格计算环境下。事实证明,在网格环境中,采用分布式并行计算方法,对传统计算机代数系统进行扩展,可以提高许多代数问题的求解速度,甚至可以解决一些以前无法解决的代数问题。VEGA网格是徐志伟等人研制的网格系统,本文将重点探讨在VEGA网格下Dixon结式的分布式并行计算问题。GiNaC符号计算系统是基于Linux平台的开源计算机代数系统,由于Dixon结式涉及到多项式运算,因此本文首先研究如何将GiNaC移植到VEGA网格和机