The natural algorithmic approach of mixed trigonometric-polynomial problems
From MaRDI portal
Publication:2012330
DOI10.1186/s13660-017-1392-1zbMath1373.42003arXiv1702.07911OpenAlexW2594365760WikidataQ33705457 ScholiaQ33705457MaRDI QIDQ2012330
Tatjana Lutovac, Cristinel Mortici, Branko J. Malešević
Publication date: 31 July 2017
Published in: Journal of Inequalities and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.07911
algorithmsinequalitiesapproximationsTaylor seriesautomated theorem provingmixed trigonometric-polynomial functions
Decidability and field theory (12L05) Trigonometric approximation (42A10) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Inequalities for trigonometric functions and polynomials (26D05) Trigonometric polynomials, inequalities, extremal problems (42A05)
Related Items
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, One method for proving some classes of exponential analytical inequalities, Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function, New double inequality of Masjed-Jamei-type, The relationship between Huygens’ and Wilker’s inequalities and further remarks, Double–Sided Taylor’s Approximations and Their Applications in Theory of Analytic Inequalities, 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, Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities, Generalized cosecant numbers and trigonometric inverse power sums, Some improvements of Jordan-Steckin and Becker-Stark inequalities, A new method for proving some inequalities related to several special functions, New Wilker-type and Huygens-type inequalities, Unnamed Item, 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, Natural approximation of Masjed-Jamei's inequality, Fourier series method related to Wilker-Cusa-Huygens inequalities, A minimax approximant in the theory of analytic inequalities, Sharp generalized Papenfuss-Bach-type inequality, Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach, Sharp inequalities of Mitrinovic-Adamovic type, Approximating trigonometric functions by using exponential inequalities, Error-functions in double-sided Taylor's approximations, A family of Wilker's inequalities in two parameters and its applications, Generalizations and improvements of approximations of some analytic functions: a survey, An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions, Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials, Some new estimates of precision of Cusa-Huygens and Huygens approximations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Padé approximant related to remarkable inequalities involving trigonometric functions
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- On Jordan type inequalities for hyperbolic functions
- Proof assistants: history, ideas and future
- New approximations of some expressions involving trigonometric functions
- Some notes on a method for proving inequalities by computer
- A method for proving some inequalities on mixed trigonometric polynomial functions
- New sharp Jordan type inequalities and their applications
- Analytic Number Theory, Approximation Theory, and Special Functions
- A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions
- The natural approach of trigonometric inequalities - Padé approximant
- Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
- A proof of an open problem of Yusuke Nishizawa for a power-exponential function
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- The removal of $\pi $ from some undecidable problems involving elementary functions
- The natural approach of Wilker-Cusa-Huygens inequalities
- A new elementary proof of Wilker's inequalities
- A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Analytic Inequalities
- Interpreting Gödel
