The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification

Inequalities for trigonometric functions and polynomials (26D05) Best constants in approximation theory (41A44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Approximations to inverse tangent function
New approximation inequalities for circular functions
Refinements, generalizations, and applications of Jordan's inequality and related problems
Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
New approximations of some expressions involving trigonometric functions
The natural algorithmic approach of mixed trigonometric-polynomial problems
On the Cusa-Huygens inequality
New refinements of Cusa-Huygens inequality
New inequalities of Wilker's type for circular functions
Refinements of Huygens- and Wilker-type inequalities
Automated proof of mixed trigonometric-polynomial inequalities
Refinements of Jordan-Stečkin and Becker-Stark inequalities
On two trigonometric inequalities of Askey and Steinig
One method for proving inequalities by computer
Some notes on a method for proving inequalities by computer
Refinements of some classical inequalities involving sinc and hyperbolic sinc functions
A refinement of Vietoris’ inequality for cosine polynomials
A method for proving some inequalities on mixed trigonometric polynomial functions
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
Refined forms of Oppenheim and Cusa-Huygens type inequalities
A minimax approximant in the theory of analytic inequalities
A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
Sharp Redheffer-type and Becker-Stark-type inequalities with an application
A proof of an open problem of Yusuke Nishizawa for a power-exponential function
On Fejér's inequalities for the Legendre polynomials
The Cusa-Huygens inequality revisited
A solution to an open problem for Wilker-type inequalities
Some new estimates of precision of Cusa-Huygens and Huygens approximations
One method for proving some classes of exponential analytical inequalities
Sharp Wilker and Huygens type inequalities for trigonometric and inverse trigonometric functions
On the Wilker and Huygens-type inequalities
The natural approach of Wilker-Cusa-Huygens inequalities
Sharpness and generalization of Jordan, Becker-Stark and Papenfuss inequalities with an application
Sharpening and generalizations of Shafer-Fink's double inequality for the arc sine function
Inequalities
Analytic Inequalities
New inequalities of Huygens-type involving tangent and sine functions
New sharp inequalities of Mitrinovic-Adamovic type
The relationship between Huygens’ and Wilker’s inequalities and further remarks
Sharped Jordan's type inequalities with exponential approximations
Frame's types of inequalities and stratification
New sharp bounds for sinc and hyperbolic sinc functions via cos and cosh functions
Inequalities for trigonometric sums