The natural algorithmic approach of mixed trigonometric-polynomial problems
From MaRDI portal
Publication:2012330
DOI10.1186/S13660-017-1392-1zbMATH Open1373.42003arXiv1702.07911OpenAlexW2594365760WikidataQ33705457 ScholiaQ33705457MaRDI QIDQ2012330FDOQ2012330
Authors: Tatjana Lutovac, Cristinel Mortici, Branko Malešević 
Publication date: 31 July 2017
Published in: Journal of Inequalities and Applications (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1702.07911
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
algorithmsinequalitiesapproximationsautomated theorem provingTaylor seriesmixed trigonometric-polynomial functions
Trigonometric approximation (42A10) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Trigonometric polynomials, inequalities, extremal problems (42A05) Decidability and field theory (12L05) Inequalities for trigonometric functions and polynomials (26D05)
Cites Work
- Introduction to algorithms.
- Title not available (Why is that?)
- Analytic Inequalities
- Title not available (Why is that?)
- Padé approximant related to remarkable inequalities involving trigonometric functions
- Title not available (Why is that?)
- The natural approach of Wilker-Cusa-Huygens inequalities
- Title not available (Why is that?)
- Analytic Number Theory, Approximation Theory, and Special Functions
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- A new elementary proof of Wilker's inequalities
- New approximations of some expressions involving trigonometric functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interpreting Gödel. Critical essays
- On Jordan type inequalities for hyperbolic functions
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- New sharp Jordan type inequalities and their application
- Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
- The natural approach of trigonometric inequalities - Padé approximant
- Some notes on a method for proving inequalities by computer
- A method for proving some inequalities on mixed trigonometric polynomial functions
- A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions
- A proof of an open problem of Yusuke Nishizawa for a power-exponential function
- Proof assistants: history, ideas and future
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
- Title not available (Why is that?)
- The removal of $\pi $ from some undecidable problems involving elementary functions
Cited In (40)
- About some exponential inequalities related to the sinc function
- On Frame's inequalities
- New approximation inequalities for circular functions
- Some improvements of Jordan-Stečkin and Becker-Stark inequalities
- Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
- Title not available (Why is that?)
- Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities
- A two-point-Padé-approximant-based method for bounding some trigonometric functions
- Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function
- A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
- A new method for proving some inequalities related to several special functions
- Approximating trigonometric functions by using exponential inequalities
- A family of Wilker's inequalities in two parameters and its applications
- Simple efficient bounds for arcsine and arctangent functions
- Some new results of Mitrinović-Cusa's and related inequalities based on the interpolation and approximation method
- The relationship between Huygens’ and Wilker’s inequalities and further remarks
- Double-sided Taylor's approximations and their applications in theory of analytic inequalities
- Error-functions in double-sided Taylor's approximations
- New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions
- Some new estimates of precision of Cusa-Huygens and Huygens approximations
- Sharp inequalities of Mitrinovic-Adamovic type
- An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions
- New Wilker-type and Huygens-type inequalities
- A method for proving some inequalities on mixed trigonometric polynomial functions
- A minimax approximant in the theory of analytic inequalities
- New double inequality of Masjed-Jamei-type
- Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality
- Generalized cosecant numbers and trigonometric inverse power sums
- Natural approximation of Masjed-Jamei's inequality
- Refining trigonometric inequalities by using Padé approximant
- Title not available (Why is that?)
- Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach
- Automated proof of mixed trigonometric-polynomial inequalities
- Wilker inequalities of exponential type for circular functions
- Fourier series method related to Wilker-Cusa-Huygens inequalities
- Generalizations and improvements of approximations of some analytic functions: a survey
- One method for proving some classes of exponential analytical inequalities
- Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
- Sharp generalized Papenfuss-Bach-type inequality
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)
