Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/4866
Nаziv: | Some Notes on a Method for Proving Inequalities by Computer | Аutоri: | Banjac, Bojan Makragić, Milica Malešević, Branko |
Dаtum izdаvаnjа: | 1-феб-2016 | Čаsоpis: | Results in Mathematics | Sažetak: | © 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
34
prоvеrеnо 12.08.2023.
Prеglеd/i stаnicа
14
Prоtеklа nеdеljа
12
12
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.