The natural algorithmic approach of mixed trigonometric-polynomial problems
From MaRDI portal
Publication:2012330
Abstract: The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function , and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities.
Recommendations
- Algorithms for trigonometric polynomials
- Direct polyhedral homotopy methods for solving mixed trigonometric polynomial systems
- A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
- Deterministic and random approximation by the combination of algebraic polynomials and trigonometric polynomials
- Algorithms for near solutions to polynomial equations
- scientific article; zbMATH DE number 6795672
- On some interval methods for algebraic, exponential and trigonometric polynomials
- A note on simultaneous rootfinding for algebraic, exponential, and trigonometric polynomials
- scientific article; zbMATH DE number 4009016
- A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
Cites work
- scientific article; zbMATH DE number 3860434 (Why is no real title available?)
- scientific article; zbMATH DE number 3700811 (Why is no real title available?)
- scientific article; zbMATH DE number 486467 (Why is no real title available?)
- scientific article; zbMATH DE number 836627 (Why is no real title available?)
- scientific article; zbMATH DE number 6741937 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A method for proving some inequalities on mixed trigonometric polynomial functions
- A new elementary proof of Wilker's inequalities
- A proof of an open problem of Yusuke Nishizawa for a power-exponential function
- A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions
- A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
- Analytic Inequalities
- Analytic Number Theory, Approximation Theory, and Special Functions
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- Interpreting Gödel. Critical essays
- Introduction to algorithms.
- New approximations of some expressions involving trigonometric functions
- New sharp Jordan type inequalities and their application
- On Jordan type inequalities for hyperbolic functions
- Padé approximant related to remarkable inequalities involving trigonometric functions
- Proof assistants: history, ideas and future
- Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
- Some notes on a method for proving inequalities by computer
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- The natural approach of Wilker-Cusa-Huygens inequalities
- The natural approach of trigonometric inequalities - Padé approximant
- The removal of $\pi $ from some undecidable problems involving elementary functions
Cited in
(40)- A new method for proving some inequalities related to several special functions
- One method for proving some classes of exponential analytical inequalities
- A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
- Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
- Some improvements of Jordan-Stečkin and Becker-Stark inequalities
- A two-point-Padé-approximant-based method for bounding some trigonometric functions
- scientific article; zbMATH DE number 1841975 (Why is no real title available?)
- Simple efficient bounds for arcsine and arctangent functions
- About some exponential inequalities related to the sinc function
- On Frame's inequalities
- New approximation inequalities for circular functions
- New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions
- Error-functions in double-sided Taylor's approximations
- New Wilker-type and Huygens-type inequalities
- Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality
- Generalizations and improvements of approximations of some analytic functions: a survey
- Refining trigonometric inequalities by using Padé approximant
- A method for proving some inequalities on mixed trigonometric polynomial functions
- A minimax approximant in the theory of analytic inequalities
- Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials
- Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities
- scientific article; zbMATH DE number 6795672 (Why is no real title available?)
- Double-sided Taylor's approximations and their applications in theory of analytic inequalities
- Some new estimates of precision of Cusa-Huygens and Huygens approximations
- Sharp generalized Papenfuss-Bach-type inequality
- Sharp inequalities of Mitrinovic-Adamovic type
- New double inequality of Masjed-Jamei-type
- Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function
- Automated proof of mixed trigonometric-polynomial inequalities
- Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach
- Approximating trigonometric functions by using exponential inequalities
- Wilker inequalities of exponential type for circular functions
- Natural approximation of Masjed-Jamei's inequality
- An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions
- The relationship between Huygens’ and Wilker’s inequalities and further remarks
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
- Fourier series method related to Wilker-Cusa-Huygens inequalities
- A family of Wilker's inequalities in two parameters and its applications
- Generalized cosecant numbers and trigonometric inverse power sums
- Some new results of Mitrinović-Cusa's and related inequalities based on the interpolation and approximation method
This page was built for publication: The natural algorithmic approach of mixed trigonometric-polynomial problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012330)
