有理数域上一类不可约多项式的简单推广

若a1,a2,…,an是n-1个不同的整数,证明了当n≥4时,f(x)=(x-a1)(x-a2)…(x-an)-1在有理数域Q上不可约;当n≥3时,f(x)=(x-a1)2(x-a2)2…(x-an)2+1在有理数域Q上不可约.     

几个广义Apostol-Bernoulli、Apostol-Euler多项式之间的关系式

利用发生函数理论结合某些运算技巧,推出了几个广义Apostol-Bernoulli多项式、广义Apostol-Euler多项式之间的关系式.多个参数出现在等式中,非常工整.在关系式中选取适当的参数,就可以得到已有的著名的关于广义Bernoulli多项式、广义Euler多项式之间的关系式,从而深化和推广了对Bernoulli数、Euler数、Bernoulli多项式、Euler多项式的相关研究结果.     

完全图的谱

本文通过组合数学和矩阵论的方法获得了完全图的特征多项式和谱,指出完全图的特征多项式的系数与图的结构之间的关系,并证明了邻接谱、拉谱拉斯谱和无符号拉谱拉斯谱三者之间的关系.     

涉及Fibonacci数列与Chebyshev多项式的一些反正切

根据Fibonacci数列和两类Chebyshev多项式的基本性质,利用反正切函数得出了一些关于黄金分割数与Fibonacci数列及Lucas数列的恒等式,同时获得了一些涉及两类Chebyshev多项式之间关系的恒等式.     

一种特殊递推关系序列的判断及求解

对于特征多项式为C(x) =(x- 1) r的特殊递推序列an,给出了它的通解求法以及判定它的充要条件 :存在整数r≥ 1,对任意的n≥ 0 ,Δran =0成立。其中Δran 为递推序列 {an}的r阶差分。     

最小多项式的求法

根据不变因子与最小多项式的关系，不变因子与初等因子的关系，提出了用初等交换求最小多项式的方法。     

关于图的第二特征标R2(G)

对任意图G，h(G，x)表示图G的伴随多项式，R2(G)表示图G的第二特征标，本文刻画了R2(G)=-2，-1，0，1，2的全部连通图。     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

深孔分段爆破法掘进采空区充填井成井的研究

采空区掘进充填井是一次回采嗣后块石胶结充填采矿法的关键。如不解决,采空区将不断扩大,势必造成地压危害和残留空场硫铁矿矿石氧化自然发火。而新桥硫铁矿采空区已达10~4m~3以上。解决采空区充填井已是燃眉之急。采用SQZ-1型潜孔钻车钻凿深孔而后分段爆破成充填井的成功,既解决了新桥矿采空区充填问题,又解决了其他方法不能掘进采空区充填井的问题,对类似矿山有较大的推广应用价值。     

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

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