多项式系的子结式矩阵

推广了两个多项式的子结式矩阵这一经典结果.在有单位元交换环上,引进了一般多项式系的一类子结式矩阵.并在唯一分解环上,利用多项式系的这类子结式矩阵,给出了多项式系公因子存在性的分次判别准则.     

基组结式消元法

该文提出基组结式消元法。其核心思想是：根据秩的大小选取基组，利用贝左结式消元，将一个多项式方程组（ ＰＳ） 化成一个三角型方程组（ ＴＳ）；求解（ＴＳ）并代入（ＰＳ） 检验，可得（ＰＳ） 的全部解。该法具有消元过程简单和消元结果次数较低等优点。凡是可化为多项式方程组求解的问题，均可用该文的方法进行研究；特别在机构学研究中具有广泛的应用。     

m≥n的结式消元法

设一个多项式方程组中的方程个数为m >0 ,变元个数为n>0 ,该文在m=n的基组结式消元法的基础上 ,针对m ≥n的情况 ,建立了相应的理论 ,构造了新的消元步骤。用该文方法 ,可将m≥n的一个多项式组 (PS)化成一个三角形组(TS) ={b1(x1) ,b2 (x1,x2 ) ,… ,bn(x1,… ,xn) },使得Zero(PS) Zero(TS) ,且诸bi 在同类多项式中具有最低的度。该文方法在解决空间机构和机器人机构分析与综合等工程问题中具有较大的理论意义和重大的实用价值。     

结式与多项式互素

主要研究唯一分解整环上的多项式环中多元多项式互素.从一元多项式结式的经典定义出发,结合推广的结式性质,给出系数为唯一分解整环上的多个多元多项式是否互素、或是否存在非平凡公因子判定的充分必要条件.     

2-齐次多项式系统的结式消元

运用结式理论, 研究在代数闭域上有有限个零点(包括无穷远零点)的2 齐次多项式系统{f1,…, f_k}的求解, 给出一种结式消元算法, 此算法可使上述系统分块三角化, 从而实现了分块求解.     

多项式系的非常元公因子存在性

推广了经典结果，即唯一分解环Ｒ上多项式环Ｒ「ｘ」中两个多基式的非常元公因子存在性判别准则，得到了唯一分解环Ｒ上多项式环Ｒ「ｘ」中的一般多基式系与之相应的结果。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证明     

双线性函数生成多项式基下的Sylvester型结式矩阵

构造一类由双线性函数生成的特殊多项式基下的Sylvester型结式矩阵,研究在该基下的Sylvester型结式矩阵与广义Bezout矩阵之间的相互联系.研究得出,诸多性质仍然保持着标准幂基下两类矩阵之间相互关系的类似形式,它们可以看作是标准幂基下两类矩阵关系的延伸.     

多项式环R[x,x-1]里的因子分解

设R是一个整环 ,F是R[x]的商域 ,则R[x ,x- 1 ]是F的子环 .本文证明 :若R是域 ,则R[x,x- 1 ]是欧氏环 .若R是一个唯一分解环 ,则R[x ,x- 1 ]是唯一分解环 .     

求解二元多项式最大公因式的结矩阵算法

应用结矩阵和结多项式的性质, 通过引入结最小多项式和标准结基解矩阵等概念, 探讨结矩阵、结多项式与求解二元多项式最大公因式的关系． 给出一种求解二元多项式最大公因式的新方法．     

整系数多项式可约性的几个新判别法

运用抽象代数的知识对整系数多项式进行摸p约化处理，得到了整系数多项式在有理数域Q上不可约的4个新判别法．     

第一类Shifted Chebyshev多项式用于求解线性微分方程组

本文介绍第一类Shifted Chebyshev多项式及其积分运算矩阵。并用它表示试函数,通过运算矩阵,将线性微分方程组归结为线性代数方程组,求出微分方程组的数值解。该方法简单,精确度较好。