vix.ing · top · new · best · stats · spec

One method for proving inequalities by computer

2006/08/31 by Branko Malešević, Branko J. Malesevic, Malesevic, Branko J.
Computer Science · Mathematics · #26Dxx #33F05 #41A20 #Classical Analysis and ODEs (math.CA) #FOS: Computer and information sciences #FOS: Mathematics #General Mathematics (math.GM) #Graphics (cs.GR) #Iterative Methods for Nonlinear Equations #Mathematical Inequalities and Applications #Mathematical Software (cs.MS) #Mathematical functions and polynomials #Numerical Analysis (math.NA) #cs.GR #cs.MS #cs.NA #math.CA #math.GM #math.NA #msc:26Dxx #msc:33F05 #msc:41A20

paper · pdf · doi:10.48550/arxiv.math/0608789

Accepted in Journal of Inequalities and Applications

openalex publication_date 2006/08/31 · arxiv created 2006/11/11 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related