-
题名S_i类多项式的生成规律及Maple应用程序
被引量：3
- 1
-
-
作者
刘保乾
-
机构
西藏自治区人事厅信息中心
-
出处
《嘉应学院学报》
2008年第3期13-17,共5页
-
文摘
用生成运算揭示了多项式扩展级的递增规律,并用这种规律得到了一种构造Si类多项式的方法;给出了自动输出Si类多项式的Maple程序。
-
关键词
si类多项式
多项式线性空间的维数
多项式的扩展级
-
Keywords
si type multinomial
dimension of multinomial Lineal space
expansion level of multinomial
-
分类号
O122.3
[理学—基础数学]
-
-
题名条件S_i类多项式的构造及其他
被引量：3
- 2
-
-
作者
刘保乾
-
机构
西藏自治区组织编制信息中心
-
出处
《广东教育学院学报》
2009年第5期8-13,共6页
-
文摘
讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.
-
关键词
si类多项式
差分代换
机器证明
-
Keywords
si class polynomial
difference replacement
mechanical proving
-
分类号
O156.2
[理学—基础数学]
O122.3
[理学—基础数学]
-
-
题名变元分组法与半正定多项式的构造
被引量：9
- 3
-
-
作者
刘保乾
-
机构
西藏自治区人事厅信息中心
-
出处
《广东教育学院学报》
2009年第3期11-17,共7页
-
文摘
介绍变元分组法及在构造半正定多项式中的应用;推导n元Sn-2类多项式和n元Sn-3类多项式的次数计算公式;提出若干优美的多项式不等式新类型.
-
关键词
变元分组法
si类多项式
不等式
机器证明
-
Keywords
variable grouping method
si multinomial
inequality
machine proving
-
分类号
O156.2
[理学—基础数学]
O122.3
[理学—基础数学]
-
-
题名多项式的一般表示式及其应用
被引量：10
- 4
-
-
作者
刘保乾
-
机构
西藏组织编制信息管理中心
-
出处
《广东教育学院学报》
2010年第3期17-24,共8页
-
文摘
通过构造多项式的一般表示式,借助于Maple应用程序研究了Si类多项式、差分代换缺项多项式和齐对称多项式的结构性分拆;指出3元差分代换缺项多项式总可以进行半正定性判定;给出了多项式平方型分拆的一种方法.
-
关键词
多项式通式
si类多项式
缺项多项式
结构性分拆
平方型分拆
-
Keywords
general expressions of polynomials
si-class polynomials
lacunary polynomials
structural partition
square-type partition
-
分类号
O122.3
[理学—基础数学]
-
-
题名关于对称多项式的构造及其应用
被引量：1
- 5
-
-
作者
何灯
-
机构
福建省福清港头中学
-
出处
《汕头大学学报（自然科学版）》
2010年第4期1-7,25,共8页
-
文摘
通过构造对称式和轮换对称式的一般表示式,借助于Maple应用程序,研究了3元到15元的对称多项式的缺项多项式、轮换对称代换缺项多项式、Si类对称多项式及Si类差分代换缺项多项式的通式构造,并对多元多项式的平方分拆进行了探讨.
-
关键词
对称多项式
缺项多项式
si类多项式
平方分拆
机器证明
-
Keywords
symmetric polynomial
polynomial with sparse terms
si polynomial
square decomposition
machine proof
-
分类号
O122.3
[理学—基础数学]
-
