Scifaro

中文

无界情形下混合三角多项式不等式的自动证明

综合数学 2022-04-05 v1

作者: Shiping Chen , Xinyu Ge

在 arXiv 上查看 ↗ PDF ↗

摘要

混合三角多项式频繁出现于物理、数值分析与工程的应用中，已有算法可确定其在 (0,{\pi}/2] 上的符号。本文提出一种将区间扩展至 (0, +{\inf}) 的步骤。此种推广绝非平凡，因为该过程依赖于混合三角多项式根的有界性与无平方因子分解。

关键词

混合三角多项式不等式自动证明无界区间无平方因子分解根的有界性

引用

@article{arxiv.2204.01481,
  title  = {Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case},
  author = {Shiping Chen and Xinyu Ge},
  journal= {arXiv preprint arXiv:2204.01481},
  year   = {2022}
}

备注

10 pages, 0 figures