论文标题
在无界情况下的混合三角 - 分析性不平等的自动证明
Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case
论文作者
论文摘要
混合的三角分析类别经常在物理，数值分析和工程中经常发生，算法已经提议确定其标志在（0，{pi}/2]上。本文提出了一个将间隔扩展到（0， +{\ inf}）的过程。三角分解。
Mixed trigonometric-polynomials frequently occur in applications in physics, numerical analysis and engineering, the algorithm has been already proposed to determine its sign on (0,{pi}/2]. This paper proposes a procedure to extend the interval to (0, +{\inf}). Such generalization is by no means trivial, for the process depends on boundedness of roots and square-free factorization of mixed trigonometric-polynomials.
