Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/4866
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Banjac, Bojan | en_US |
dc.contributor.author | Makragić, Milica | en_US |
dc.contributor.author | Malešević, Branko | en_US |
dc.date.accessioned | 2019-09-30T08:42:50Z | - |
dc.date.available | 2019-09-30T08:42:50Z | - |
dc.date.issued | 2016-02-01 | - |
dc.identifier.issn | 14226383 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/4866 | - |
dc.description.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. | en |
dc.relation.ispartof | Results in Mathematics | en |
dc.title | Some Notes on a Method for Proving Inequalities by Computer | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1007/s00025-015-0485-8 | - |
dc.identifier.scopus | 2-s2.0-84955659640 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84955659640 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 176 | en |
dc.relation.firstpage | 161 | en |
dc.relation.issue | 1-2 | en |
dc.relation.volume | 69 | en |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
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.