Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case

Author name not available (Why is that?)

Publication date: 23 March 2022

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.

Has companion code repository: https://github.com/lihaokun/rootofmtp

This page was built for publication: Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6395616)