位置:成果数据库 > 期刊 > 期刊详情页
关于5次对称形式正性的机器判定
  • 期刊名称:系统科学与数学,28(3):313-324, 2008.
  • 时间:0
  • 分类:O24[理学—计算数学;理学—数学] TU-8[建筑科学—建筑设计及理论;艺术—艺术设计]
  • 作者机构:[1]中国科学院成都计算机应用研究所,成都610041
  • 相关基金:国家973计划项目(2004cB318003),中科院知识创新工程重要方向(KJCX-YW-S02)和国家自然科学基金(10771205)资助.
  • 相关项目:从近似值获取准确值的理论,方法及其应用
中文摘要:

利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在畔上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,能够在变元数较多时也可以使用计算机来自动判定.

英文摘要:

In this paper, based on the positive root discriminant sequence of polynomial with symbolic coefficients, an explicit criterion of positivity on R^n+ is presented for symmetric quintic forms, and accordingly an efficient algorithm is derived from the criterion. By means of our algorithm, the positivity of symmetric quintic forms with much more variables can be determined automatically by computer.

同期刊论文项目
期刊论文 18 会议论文 5 获奖 1
同项目期刊论文