通过MAPLE决定多项式的非负性
摘要：Maple库RegularChains中有一些有效的工具可以解决（常数/参数化）半代数系统问题。通过使用库中的函数，例如RealRootClassfication，可以证明和发现多项式不等式。本文主要是使用RealRootClassfication作为用户指南，证明多项式非负性。我们通过示例展示了如何使用这个强大的工具在一些多项式不等式和/或方程约束下证明多项式的非负性。同时提供了一些使用该工具的技巧。
作者：Lu Yang and Bican Xia
论文ID：1306.4059
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-06-19