Some notes on a method for proving inequalities by computer
From MaRDI portal
Publication:2634304
DOI10.1007/s00025-015-0485-8zbMath1332.41008arXivmath/0701020OpenAlexW3104193410MaRDI QIDQ2634304
Milica Makragić, Bojan Banjac, Branko J. Malešević
Publication date: 8 February 2016
Published in: Results in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0701020
Best approximation, Chebyshev systems (41A50) Numerical interpolation (65D05) Approximation by polynomials (41A10) Inequalities for trigonometric functions and polynomials (26D05)
Related Items (24)
A two-point-Padé-approximant-based method for bounding some trigonometric functions ⋮ Sharp Redheffer-type and Becker-Stark-type inequalities with an application ⋮ A note on the Becker-Stark type inequalities ⋮ A proof of an open problem of Yusuke Nishizawa for a power-exponential function ⋮ One method for proving some classes of exponential analytical inequalities ⋮ Improved bounds of Mitrinović-Adamović-type inequalities by using two-parameter functions ⋮ 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 ⋮ Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities ⋮ New approximations of some expressions involving trigonometric functions ⋮ New inequalities of Mitrinović-Adamović type ⋮ New Wilker-type and Huygens-type inequalities ⋮ The natural algorithmic approach of mixed trigonometric-polynomial problems ⋮ Wilker inequalities of exponential type for circular functions ⋮ New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions ⋮ Natural approximation of Masjed-Jamei's inequality ⋮ Sharpness and generalization of Jordan, Becker-Stark and Papenfuss inequalities with an application ⋮ On the generalized Becker-Stark type inequalities ⋮ A family of Wilker's inequalities in two parameters and its applications ⋮ Generalizations and improvements of approximations of some analytic functions: a survey ⋮ Generalizations and refinements of Stečkin-type inequality for tangent and secant functions ⋮ 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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sharp Shafer-Fink type inequalities for Gauss lemniscate functions
- Sharp Cusa and Becker-Stark inequalities
- Sharpness of Wilker and Huygens type inequalities
- On Shafer and Carlson inequalities
- A note about \(\{K_i(z)\}^\infty_{i=1}\) functions
- On new Wilker-type inequalities
- On the numerical determination of the best approximations in the Chebyshev sense
- A source of inequalities for circular functions
- New inequalities of Shafer-Fink type for arc hyperbolic sine
- Refinements, generalizations, and applications of Jordan's inequality and related problems
- Sharpening and generalizations of Shafer's inequality for the arc tangent function
- Approximate construction of rational approximations and the effect of error autocorrection. Applications
- One method for proving inequalities by computer
- On Shafer-Fink-type inequality
- A method for proving some inequalities on mixed trigonometric polynomial functions
- Sharpening and generalizations of Carlson's double inequality for the arc cosine function
- Inequality chains related to trigonometric and hyperbolic functions and inverse trigonometric and hyperbolic functions
- Sharpening and generalizations of Shafer's inequality for the arc sine function
- Sharpening and generalizations of Carlson's inequality for the arc cosine function
- On the computation of rational approximations to continuous functions
- A solution of a problem of Oppeheim
- Undecidable problems: a sampler
- Interpolation Processes
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- The SIAM 100-Digit Challenge
- A simple proof of Oppenheim's double inequality relating to the cosine and sine functions
- The natural approach of Wilker-Cusa-Huygens inequalities
- Sharpening and generalizations of Shafer-Fink's double inequality for the arc sine function
- Compressible Fluid Flow and the Approximation of Iterated Integrals of a Singular Function
- Analytic Inequalities
- A Survey of Practical Rational and Polynomial Approximation of Functions
This page was built for publication: Some notes on a method for proving inequalities by computer
