@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"
}