One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points
Конференцијски прилог (Објављена верзија)
Метаподаци
Приказ свих података о документуАпстракт
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.
Кључне речи:
algorithm, mixed trigonometric polynomial functions, number of real roots, polynomial, proof / algorithm / mixed trigonometric polynomial functions / number of real roots / polynomial / proofИзвор:
Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar, 2022Издавач:
- TELFOR, ETF, Bulevar kralja Aleksandra 73
Финансирање / пројекти:
- Министарство науке, технолошког развоја и иновација Републике Србије, институционално финансирање - 200103 (Универзитет у Београду, Електротехнички факултет) (RS-MESTD-inst-2020-200103)
- Министарство науке, технолошког развоја и иновација Републике Србије, институционално финансирање - 200156 (Универзитет у Новом Саду, Факултет техничких наука) (RS-MESTD-inst-2020-200156)
Институција/група
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.
-
Common right factor of skew polynomials / The Resultants of Non-Commutative Polynomials
Erić, Aleksandra Lj. (Matematički vesnik, 2008) -
The resultant of non-commutative polynomials
Erić, Aleksandra (Društvo matematičara Srbije, Beograd, 2008) -
Polynomial interpolation problem for skew polynomials
Erić, Aleksandra (Univerzitet u Beogradu - Elektrotehnički fakultet, Beograd i Akademska misao, Beograd, 2007)