Pages that link to "Item:Q2634304"

The following pages link to Some notes on a method for proving inequalities by computer (Q2634304):

Displaying 25 items.

• A two-point-Padé-approximant-based method for bounding some trigonometric functions (Q824614) (← links)
• New approximations of some expressions involving trigonometric functions (Q1733425) (← links)
• The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
• Wilker inequalities of exponential type for circular functions (Q2028205) (← links)
• New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions (Q2028206) (← links)
• On the generalized Becker-Stark type inequalities (Q2062490) (← links)
• Generalizations and improvements of approximations of some analytic functions: a survey (Q2080492) (← links)
• New inequalities of Mitrinović-Adamović type (Q2244660) (← links)
• Natural approximation of Masjed-Jamei's inequality (Q2293124) (← links)
• An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions (Q2331713) (← links)
• New double inequality of Masjed-Jamei-type (Q2681992) (← links)
• Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities (Q3296683) (← links)
• Sharp Redheffer-type and Becker-Stark-type inequalities with an application (Q4561085) (← links)
• A proof of an open problem of Yusuke Nishizawa for a power-exponential function (Q4576080) (← links)
• A family of Wilker's inequalities in two parameters and its applications (Q4992495) (← links)
• A note on the Becker-Stark type inequalities (Q5086604) (← links)
• One method for proving some classes of exponential analytical inequalities (Q5087118) (← links)
• Double–Sided Taylor’s Approximations and Their Applications in Theory of Analytic Inequalities (Q5114178) (← links)
• New Wilker-type and Huygens-type inequalities (Q5164413) (← links)
• Sharpness and generalization of Jordan, Becker-Stark and Papenfuss inequalities with an application (Q5217479) (← links)
• Generalizations and refinements of Stečkin-type inequality for tangent and secant functions (Q5244226) (← links)
• Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials (Q5866248) (← links)
• Improved bounds of Mitrinović-Adamović-type inequalities by using two-parameter functions (Q6062410) (← links)
• The relationship between Huygens’ and Wilker’s inequalities and further remarks (Q6169404) (← links)
• The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification (Q6567850) (← links)