期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一类多项式不等式的证明研究 被引量：2

Recent Researches on Some Kind of Polynomial Inequalities Proof
下载PDF
导出
摘要 综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。 Some new methods of automatic inequalities proof in recent years are summarized. Some comparison on these methods is put out. And a new research method of this field is provided.
作者 黄方剑
机构地区 中国科学院成都计算机应用研究所
出处 《科学技术与工程》 2007年第15期3856-3859,共4页 Science Technology and Engineering
基金 国家"973"计划(2004CB318003) 中国科学院知识创新工程资助
关键词 不等式证明 Bottema程序 Schur分拆 数学机械化 inequality proof Bottema program Schur decomposition mathematic mechanization
分类号 O178 [理学—基础数学]
  • 相关文献

参考文献1

二级参考文献24

  • 1Yang L，非线性方程组与定理机器证明，1996年
  • 2Wang D M，Ann Math Artif Intell，1995年，13期，1页
  • 3Zhang J Z，计算机学报，1995年，18卷，5期，380页
  • 4Chou S C，Proc of CADE-12，1994年，401页
  • 5Zhang J Z，Sci China A，1994年，37卷，547页
  • 6吴文俊，Syst Sci Math Sci，1994年，7卷，193页
  • 7Yang L，Artificial Intelligence in Mathematics，1994年，147页
  • 8Chou S C，Machine Proofs in Geometry，1994年
  • 9Kuang J C，Applied Inequalities （in Chinese）（第2版），1993年
  • 10Yang L，Proceedings of the 1992 International Workshop on Mathematics Mechanization，1992年，110页

共引文献20

同被引文献39

  • 1祁锋,郭白妮.关于Kober不等式的推广[J].焦作矿业学院学报,1993,12(4):101-103. 被引量：13
  • 2陈胜利,黄方剑.三元对称形式的Schur分拆与不等式的可读证明[J].数学学报（中文版）,2006,49(3):491-502. 被引量：28
  • 3杨路.差分代换与不等式机器证明[J].广州大学学报（自然科学版）,2006,5(2):1-7. 被引量：36
  • 4姜卫东,华云.Jordan不等式的改进及应用[J].高等数学研究,2006,9(5):60-61. 被引量：9
  • 5杨路,侯晓荣,曾振柄.多项式的完全判别系统[J].中国科学（E辑）,1996,26(5):424-441. 被引量：31
  • 6Parrilo P A. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization[D]. PhD thesis, California Institute of Technology, 2000,5.
  • 7Parrilo P A. Semidefinite programming relaxations for semialgebraic problems[J]. Math. Prog. , 2003,96 (2) : 293-320.
  • 8Parrilo P A. Peretz R. An inequality for circle packings proved by semidefinite programming[J]. Discrete and Computational Geometry, 2004,31 (3) : 357-367.
  • 9Yang L. Solving Harder Problems with Lesser Mathematics[C]. Proceedings of the 10th Asian Technology Conference in Mathematics, 2005, ATCM Inc. , Blacksburg, 37-46.
  • 10Yang L. Deciding Nonnegativity of Multivariate Polynomials[C]. 7th International Workshop on Automated Deduction in Geometry, 2008 : 143-153.

引证文献2

二级引证文献1

科学技术与工程
2007年 第15期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部