Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case
General Mathematics
2022-04-05 v1
Abstract
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.
Keywords
Cite
@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}
}
Comments
10 pages, 0 figures