Приказ основних података о документу

One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points

dc.creatorMalesevic, Branko
dc.creatorBanjac, Bojan
dc.creatorŠešum-Čavić, Vesna
dc.creatorKorolija, Nenad
dc.date.accessioned2024-01-19T08:23:42Z
dc.date.available2024-01-19T08:23:42Z
dc.date.issued2022
dc.identifier.urihttps://grafar.grf.bg.ac.rs/handle/123456789/3434
dc.description.abstractThis paper considers one problem of modern automated theorem provers. While there are many different numerical methods for computation of real roots of polynomials, theorem provers require higher level of assurances of result correctness. In this paper is shown one method that circumvents limitations of application of Sturm’s theorem for such tasks.sr
dc.language.isoensr
dc.publisherTELFOR, ETF, Bulevar kralja Aleksandra 73sr
dc.relationinfo:eu-repo/grantAgreement/MESTD/inst-2020/200103/RS//sr
dc.relationinfo:eu-repo/grantAgreement/MESTD/inst-2020/200156/RS//sr
dc.rightsopenAccesssr
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.sourceTelfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrarsr
dc.subjectalgorithm, mixed trigonometric polynomial functions, number of real roots, polynomial, proofsr
dc.subjectalgorithmsr
dc.subjectmixed trigonometric polynomial functionssr
dc.subjectnumber of real rootssr
dc.subjectpolynomialsr
dc.subjectproofsr
dc.titleOne algorithm for testing annulling of mixed trigonometric polynomial functions on boundary pointssr
dc.typeconferenceObjectsr
dc.rights.licenseBY-NC-NDsr
dc.identifier.fulltexthttp://grafar.grf.bg.ac.rs/bitstream/id/12802/bitstream_12802.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_grafar_3434
dc.type.versionpublishedVersionsr


Документи

Thumbnail
Име:
bitstream_12802.pdf
Величина:
153.6Kb
Формат:
PDF
Отварање

Овај документ се појављује у следећим колекцијама

Приказ основних података о документу