Претраживање
Приказ резултата 1-1 од 1
One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points
(TELFOR, ETF, Bulevar kralja Aleksandra 73, 2022)
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 ...