One method for proving inequalities by computer
Branko J. Malesevic
Abstract
In this article we consider a method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program.
Create a lesson
Related papers
Characterizing higher-dimensional Hölder domains via spherical geometric functions
Emily Casey, Max Engelstein, Tatiana Toro
The second type of power mean bounds for the hypergeometric mean
Zhen-Hang Yang, Jing-Feng Tian
Spread-out Furstenberg sets II: general configurations and fractal restricted projections
Alex Cohen, Pablo Shmerkin, Hong Wang et al.
Spread-out Furstenberg sets I: the sticky case
Tuomas Orponen, Pablo Shmerkin
Hsiang cubics as spherical Chebyshev polynomials: equioscillation and idempotent quadrature
Vladimir G. Tkachev
Sharp power-weight estimates for the fractional spherical maximal operator
Riju Basak, Surjeet Singh Choudhary, Chun-Yen Shen et al.