| 半正定多项式的构造与逐次差分代换的加速 |
| |
| 引用本文： | 刘保乾. 半正定多项式的构造与逐次差分代换的加速[J]. 汕头大学学报(自然科学版), 2009, 24(4): 29-36 |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区人事厅信息中心,西藏,拉萨,850000 |
| |
| 摘 要： | 给出了若干构造半正定多项式的类型和方法,列举了大量问题和例子,并给出了部分解答;提出了解决扩展级递增不等式猜想的一个思路,把多项式f分成正部p(f)和负部n(f)两部分,并用p(f)和n(f)构造了若干逐次差分代换sds的加速因子,从而解决了一大类多项式的正性判定问题.
|
| 关 键 词： | 半正定多项式 差分代换 机器证明 |
Construction of Semi-Definite Polynomials and Acceleration of Successive Differential Substitution |
| |
| LIU Bao-qian. Construction of Semi-Definite Polynomials and Acceleration of Successive Differential Substitution[J]. Journal of Shantou University(Natural Science Edition), 2009, 24(4): 29-36 |
| |
| Authors: | LIU Bao-qian |
| |
| Affiliation: | LIU Bao-qian(Information Center,The Personncl Department of Xizang Province,Lasa 850000,Xizang ,China) |
| |
| Abstract: | Several approaches for the construction of semi-definite polynomials are given and examples and solutions are shown. The polynomial f is divided into positive part p（f） and negative part n（f）. The polynomials p（f） and n（f） is used to construct the acceleration factor in successive differential substitution to solve a class of semidclinile problems. |
| |
| Keywords: | semi-definite polynomial differential substitution |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
