Please use this identifier to cite or link to this item: https://open.uns.ac.rs/handle/123456789/4866
DC FieldValueLanguage
dc.contributor.authorBanjac, Bojanen_US
dc.contributor.authorMakragić, Milicaen_US
dc.contributor.authorMalešević, Brankoen_US
dc.date.accessioned2019-09-30T08:42:50Z-
dc.date.available2019-09-30T08:42:50Z-
dc.date.issued2016-02-01-
dc.identifier.issn14226383en_US
dc.identifier.urihttps://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.ispartofResults in Mathematicsen
dc.titleSome Notes on a Method for Proving Inequalities by Computeren_US
dc.typeJournal/Magazine Articleen_US
dc.identifier.doi10.1007/s00025-015-0485-8-
dc.identifier.scopus2-s2.0-84955659640-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/84955659640-
dc.description.versionUnknownen_US
dc.relation.lastpage176en
dc.relation.firstpage161en
dc.relation.issue1-2en
dc.relation.volume69en
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptFakultet tehničkih nauka, Departman za opšte discipline u tehnici-
crisitem.author.parentorgFakultet tehničkih nauka-
Appears in Collections:FTN Publikacije/Publications
Show simple item record

SCOPUSTM   
Citations

34
checked on Aug 12, 2023

Page view(s)

14
Last Week
12
Last month
0
checked on May 10, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.