Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/4866
Title: | Some Notes on a Method for Proving Inequalities by Computer | Authors: | Banjac, Bojan Makragić, Milica Malešević, Branko |
Issue Date: | 1-Feb-2016 | Journal: | Results in Mathematics | Abstract: | © 2015, Springer Basel. 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. | URI: | https://open.uns.ac.rs/handle/123456789/4866 | ISSN: | 14226383 | DOI: | 10.1007/s00025-015-0485-8 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
34
checked on Aug 12, 2023
Page view(s)
14
Last Week
12
12
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.