双变元多项式系统的混合结式矩阵的项公式

结式矩阵是消去理论中的重要工具之一,混合Cayley-Sylvester结式矩阵是其中一类结式矩阵.本文从混合结式矩阵的定义出发,对于双变元多项式系统,利用行列式的性质对主要步骤进行简化,避免多项式除法,从而提高整体混合结式的计算效率.     

多项式的B-网结式及应用

本文定义了多项式的B-网结式,讨论了B-网结式的性质和B-网结式与非线性方程组的解之间的关系.     

多变元Sylvester结式与多余因子

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.     

部分子结式性质的改进证明

为了更好的计算两个单变元多项式的最大公因式,20世纪初有Burside和Panton首先提出了结式的概念,在结式的基础上又提出了子结式的概念,这使得求最大公因式有了一个更系统的算法.计算机代数中关于子结式的经典定义过于繁琐,文献[1]中给出了子结式的一种简洁的定义.主要是借助文献[1]新定义的方法给出部分子结式的性质的证明及一些相应的例题,并对部分结论进行了一定的推广.     

Dixon 结式的三类多余因子

Dixon结式是一种基本消元方法,
它在自动控制、机器人等高技术领域中有着重要应用.
但是由于结式方法可能产生多余因子,
因此多余因子的产生机理一直是一大难题.
本文通过将Dixon结式表示成原多项式系统的线性组合,
发现了Dixon结式的部分多余因子,
并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子
以及导出多项式回代产生的多余因子三大部分组成.     

交换环上多项式结式的性质

本文主要讨论交换环上多项式结式的一些性质.首先,我们证明了交换环上一种乘积的结式等于结式的乘积的性质,然后,我们证明了交换环上一种和的结式具有的性质,并且给出了交换环上结式为零的一个充分条件.     

构造一般Dixon 结式矩阵的快速算法

近几年来, 基于Dixon 结式的消去法被广泛地用来求解非线性多项式方程组, 因此国际上许多学者开始研究构造Dixon 结式矩阵的有效算法. 本文将目前最为有效的只能处理2个变元3个方程情形的递归算法扩展到n个变元n+1个多项式方程的一般情形, 并且将该算法在Maple下编程实现. 通过Maple随机产生的多项式的比较实验, 可以看出, 比之现有的所有方法, 本程序具有更高的效率. 特别是应用此程序, 首次以48阶的Dixon结式矩阵的形式, 给出了4个一般的关于每个变元的次数不超过2次的曲面存在公共交点的必要条件.     

斜消法变换与结式计算的简化

我们知道,在多项式理论中,结式是个重要的概念,结式的计算有着多方面的应用。但是,一个n次多项式f(x)与另一个m次多项式g(x)的结式R(f,g)计算,涉及到一个(m+n)阶行列式的计算,这是十分麻烦的事。本文提供的方     

循环码译码的Dixon结式方法

针对纠错码译码就是非线性方程组的求解问题,提出利用Dixon结式方法对译码方程进行消元以得到接收数据中的错位多项式.首先,根据纠错码的纠错能力和接收数据得到伴随式矩阵并通过该矩阵的秩确定接收码字中错误位的个数.然后,根据错位个数和伴随多项式构造译码方程.译码时,将其中一个错位变元作为隐藏变元,利用Dixon结式方法进行消元.最后,得到的Dixon结式就是关于隐藏变元的多项式.该多项式去掉多余因子后就是错位多项式,利用Chien搜索法即可求解出错误位置.当错位较多时,采用逐次计算结式的方法以筛除计算过程中的多余因子和重因子.另外,根据不同错位个数得到的错位多项式,提出了构造一类循环码错位多项式符号解的猜想,该猜想可以大大提高译码效率.实验验证了结式理论在纠错码译码方面的应用是有效的且有助于降低对芯片性能的要求.     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.