Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/4866
Назив: | Some Notes on a Method for Proving Inequalities by Computer | Аутори: | Banjac, Bojan Makragić, Milica Malešević, Branko |
Датум издавања: | 1-феб-2016 | Часопис: | Results in Mathematics | Сажетак: | © 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 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
34
проверено 12.08.2023.
Преглед/и станица
14
Протекла недеља
12
12
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.