实正则方形代数系统

变元个数与方程个数相同的代数系统称为方形代数系统.这是一类在实际应用中最常遇到的代数系统,我们将建立一个算法去隔离方形代数系统的实正则零点.方法分两步,首先使用Dixon结式计算单个变元所需要满足的方程,并进行单变元的实根隔离,以获得一系列Box.第二步用伴随多项式方法检查这些Box是否包含原代数系统的实正则零点.利用Maple平台,我们实现了这个算法.大量的计算实例显示了这个方法的有效性.

伴随多项式与Miranda定理

原始版本的Miranda定理应用起来不甚方便.利用多项式在Box上的伴随多项式改造了Miranda定理.证明了改造后的结果对代数方程组实正则零点的检测是有效的.