Isolating all the real roots of a mixed trigonometric-polynomial

DOI10.1016/j.jsc.2023.102250arXiv2301.05847OpenAlexW4384938768MaRDI QIDQ6051116

Tao Zheng, Rizeng Chen, Tianqi Zhao, Haokun Li, Bican Xia

Publication date: 19 September 2023

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.05847

zbMATH Keywords

real root isolationaperiodic rootmixed trigonometric-polynomialmixed trigonometric-polynomial inequalityperiodic root

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Inequalities in real analysis (26Dxx) Nonlinear algebraic or transcendental equations (65Hxx)

Related Items (1)

Deciding first-order formulas involving univariate mixed trigonometric-polynomials

Cites Work

• Padé approximant related to remarkable inequalities involving trigonometric functions
• Quantifier elimination for a class of exponential polynomial formulas
• Cylindrical decomposition for systems transcendental in the first variable
• Deciding polynomial-transcendental problems
• Real root isolation for exp-log-arctan functions
• MetiTarski: An automatic theorem prover for real-valued special functions
• Automated proof of mixed trigonometric-polynomial inequalities
• Positive root isolation for poly-powers by exclusion and differentiation
• Real solution isolation using interval arithmetic
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions
• Real root isolation for tame elementary functions
• The natural approach of trigonometric inequalities - Padé approximant
• Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
• The natural approach of Wilker-Cusa-Huygens inequalities
• Deciding polynomial-exponential problems
• A method for proving some inequalities on mixed hyperbolic-trigonometric polynomial functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Isolating all the real roots of a mixed trigonometric-polynomial