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
- 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
- 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?)
- 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 natural approach of trigonometric inequalities - Padé approximant
- The natural approach of Wilker-Cusa-Huygens inequalities
- The removal of \pi from some undecidable problems involving elementary functions
- The Undecidability of the Existence of Zeros of Real Elementary Functions
Cited in
(44)- Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function
- Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
- Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality
- A new method for proving some inequalities related to several special functions
- Wilker inequalities of exponential type for circular functions
- New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions
- Some new results of Mitrinović-Cusa's and related inequalities based on the interpolation and approximation method
- Approximating trigonometric functions by using exponential inequalities
- Generalizations and improvements of approximations of some analytic functions: a survey
- Automated proof of mixed trigonometric-polynomial inequalities
- Natural approximation of Masjed-Jamei's inequality
- Sharp inequalities of Mitrinovic-Adamovic type
- An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions
- New double inequality of Masjed-Jamei-type
- A method for proving some inequalities on mixed trigonometric polynomial functions
- Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities
- A minimax approximant in the theory of analytic inequalities
- A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
- scientific article; zbMATH DE number 1841975 (Why is no real title available?)
- Error-functions in double-sided Taylor's approximations
- A family of Wilker's inequalities in two parameters and its applications
- Some new estimates of precision of Cusa-Huygens and Huygens approximations
- Simple efficient bounds for arcsine and arctangent functions
- One method for proving some classes of exponential analytical inequalities
- Double-sided Taylor's approximations and their applications in theory of analytic inequalities
- Generalized cosecant numbers and trigonometric inverse power sums
- Some improvements of Jordan-Stečkin and Becker-Stark inequalities
- New Wilker-type and Huygens-type inequalities
- Fourier series method related to Wilker-Cusa-Huygens inequalities
- Sharp generalized Papenfuss-Bach-type inequality
- Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach
- scientific article; zbMATH DE number 6795672 (Why is no real title available?)
- Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials
- The relationship between Huygens’ and Wilker’s inequalities and further remarks
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
- A novel parametric method for proving some analytic inequalities and determining minimax approximations
- A new approach to selecting constants for some analytic inequalities
- Refinements of some inequalities involving means
- Advances in Mitrinović-Adamović-type inequalities
- On Frame's inequalities
- A two-point-Padé-approximant-based method for bounding some trigonometric functions
- Refining trigonometric inequalities by using Padé approximant
- About some exponential inequalities related to the sinc function
- New approximation inequalities for circular functions
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)
