One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points
Konferencijski prilog (Objavljena verzija)
Metapodaci
Prikaz svih podataka o dokumentuApstrakt
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.
Ključne reči:
algorithm, mixed trigonometric polynomial functions, number of real roots, polynomial, proof / algorithm / mixed trigonometric polynomial functions / number of real roots / polynomial / proofIzvor:
Telfor 2022 - 30. telekomunikacioni forum, Beograd, 15-16. novembrar, 2022Izdavač:
- TELFOR, ETF, Bulevar kralja Aleksandra 73
Finansiranje / projekti:
- Ministarstvo nauke, tehnološkog razvoja i inovacija Republike Srbije, institucionalno finansiranje - 200103 (Univerzitet u Beogradu, Elektrotehnički fakultet) (RS-MESTD-inst-2020-200103)
- Ministarstvo nauke, tehnološkog razvoja i inovacija Republike Srbije, institucionalno finansiranje - 200156 (Univerzitet u Novom Sadu, Fakultet tehničkih nauka) (RS-MESTD-inst-2020-200156)
Institucija/grupa
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)