Pages that link to "Item:Q2471894"
From MaRDI portal
The following pages link to One method for proving inequalities by computer (Q2471894):
Displaying 16 items.
- Sharp Shafer-Fink type inequalities for Gauss lemniscate functions (Q257717) (← links)
- Sharp Cusa type inequalities with two parameters and their applications (Q668237) (← links)
- A new method for refining the Shafer's equality and bounding the definite integrals (Q722501) (← links)
- A source of inequalities for circular functions (Q979816) (← links)
- New inequalities of Shafer-Fink type for arc hyperbolic sine (Q1008463) (← links)
- Generalizations of Shafer-Fink-type inequalities for the arc sine function (Q1035527) (← links)
- Computer assisted solution of an equality problem of mean values (Q2445202) (← links)
- On Shafer-Fink-type inequality (Q2471934) (← links)
- Extension of Oppenheim's problem to Bessel functions (Q2471975) (← links)
- Some notes on a method for proving inequalities by computer (Q2634304) (← links)
- (Q3689404) (← links)
- Sharp Redheffer-type and Becker-Stark-type inequalities with an application (Q4561085) (← links)
- Some new estimates of precision of Cusa-Huygens and Huygens approximations (Q5028849) (← links)
- Sharpness and generalization of Jordan, Becker-Stark and Papenfuss inequalities with an application (Q5217479) (← links)
- (Q5433687) (← links)
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification (Q6567850) (← links)