One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points
Conference object (Published version)
Metadata
Show full item recordAbstract
This 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.
Keywords:
algorithm, mixed trigonometric polynomial functions, number of real roots, polynomial, proof / algorithm / mixed trigonometric polynomial functions / number of real roots / polynomial / proofSource:
Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar, 2022Publisher:
- TELFOR, ETF, Bulevar kralja Aleksandra 73
Funding / projects:
- Ministry of Science, Technological Development and Innovation of the Republic of Serbia, institutional funding - 200103 (University of Belgrade, Faculty of Electrical Engineering) (RS-MESTD-inst-2020-200103)
- Ministry of Science, Technological Development and Innovation of the Republic of Serbia, institutional funding - 200156 (University of Novi Sad, Faculty of Technical Science) (RS-MESTD-inst-2020-200156)
Institution/Community
GraFarTY - CONF AU - Malesevic, Branko AU - Banjac, Bojan AU - Šešum-Čavić, Vesna AU - Korolija, Nenad PY - 2022 UR - https://grafar.grf.bg.ac.rs/handle/123456789/3434 AB - This 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. PB - TELFOR, ETF, Bulevar kralja Aleksandra 73 C3 - Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar T1 - One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points UR - https://hdl.handle.net/21.15107/rcub_grafar_3434 ER -
@conference{ author = "Malesevic, Branko and Banjac, Bojan and Šešum-Čavić, Vesna and Korolija, Nenad", year = "2022", abstract = "This 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.", publisher = "TELFOR, ETF, Bulevar kralja Aleksandra 73", journal = "Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar", title = "One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points", url = "https://hdl.handle.net/21.15107/rcub_grafar_3434" }
Malesevic, B., Banjac, B., Šešum-Čavić, V.,& Korolija, N.. (2022). One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points. in Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar TELFOR, ETF, Bulevar kralja Aleksandra 73.. https://hdl.handle.net/21.15107/rcub_grafar_3434
Malesevic B, Banjac B, Šešum-Čavić V, Korolija N. One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points. in Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar. 2022;. https://hdl.handle.net/21.15107/rcub_grafar_3434 .
Malesevic, Branko, Banjac, Bojan, Šešum-Čavić, Vesna, Korolija, Nenad, "One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points" in Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar (2022), https://hdl.handle.net/21.15107/rcub_grafar_3434 .
Related items
Showing items related by title, author, creator and subject.
-
The resultant of non-commutative polynomials
Erić, Aleksandra (Društvo matematičara Srbije, Beograd, 2008) -
Common right factor of skew polynomials / The Resultants of Non-Commutative Polynomials
Erić, Aleksandra Lj. (Matematički vesnik, 2008) -
Weighted quasisymmetric enumerator for generalized permutohedra
Vladimir, Gujić; Marko, Pešović; Tanja, Stojadinović (Springer, 2020)