Showing 1–1 of 1 results for author: Banjac, B D

Some notes on a method for proving inequalities by computer

Authors: Bojan D. Banjac, Milica D. Makragic, Branko J. Malesevic

Abstract: In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions, we demonstrate that the considered method generally in practice becomes one heuristic for the verification of inequalities. We give some improvements of the ineq… ▽ More In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions, we demonstrate that the considered method generally in practice becomes one heuristic for the verification of inequalities. We give some improvements of the inequalities considered in the theorems for which the existing proofs have been based on the numerical verifications of Remez algorithm. △ Less

Submitted 14 July, 2015; v1 submitted 31 December, 2006; originally announced January 2007.

Comments: in Results in Mathematics 07/2015

MSC Class: 26D05; 26D15; 41A10