One method for proving inequalities by computer

DOI10.1155/2007/78691zbMath1133.26320OpenAlexW2146984575WikidataQ59215977 ScholiaQ59215977MaRDI QIDQ2471894

Branko J. Malešević

Publication date: 19 February 2008

Published in: Journal of Inequalities and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2007/78691

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to real functions (26-04) Other analytical inequalities (26D20)

Related Items (12)

Some notes on a method for proving inequalities by computer ⋮ Sharp Redheffer-type and Becker-Stark-type inequalities with an application ⋮ Sharp Cusa type inequalities with two parameters and their applications ⋮ On Shafer-Fink-type inequality ⋮ Extension of Oppenheim's problem to Bessel functions ⋮ A source of inequalities for circular functions ⋮ A new method for refining the Shafer's equality and bounding the definite integrals ⋮ New inequalities of Shafer-Fink type for arc hyperbolic sine ⋮ Sharpness and generalization of Jordan, Becker-Stark and Papenfuss inequalities with an application ⋮ Generalizations of Shafer-Fink-type inequalities for the arc sine function ⋮ Sharp Shafer-Fink type inequalities for Gauss lemniscate functions ⋮ Some new estimates of precision of Cusa-Huygens and Huygens approximations

Uses Software

• Maple

Cites Work

• Some inequalities for the Hersch-Pfluger distortion function
• Inequalities for Beta and Gamma functions via some classical and new integral inequalities
• A new generalized and sharp version of Jordan's inequality and its applications to the improvement of the Yang Le inequality
• Sharpening Jordan's inequality and the Yang Le inequality
• Supplements to known monotonicity results and inequalities for the gamma and incomplete gamma functions
• On Shafer-Fink Inequalities
• Computing machine-efficient polynomial approximations
• ON RAMANUJAN'S DOUBLE INEQUALITY FOR THE GAMMA FUNCTION
• On some properties of the Gamma function
• On new proofs of Wilker's inequalities involving trigonometric functions
• The best bounds in Wallis’ inequality
• Analytic Inequalities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: One method for proving inequalities by computer