Banjac, Bojan

Link to this page

http://grafar.grf.bg.ac.rs/APP/faces/author.xhtml?author_id=b97fac00-6d6f-4c73-b5f8-bcee582ea12e&item_offset=0&project_offset=0&sort_by=dc.date.issued
Authority KeyName Variants
b97fac00-6d6f-4c73-b5f8-bcee582ea12e
  • Banjac, Bojan (1)
Projects

Author's Bibliography

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

Malesevic, Branko; Banjac, Bojan; Šešum-Čavić, Vesna; Korolija, Nenad

(TELFOR, ETF, Bulevar kralja Aleksandra 73, 2022) 

TY  - 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 .