manipulations, it might be unstable if the coefficients of the input polynomials are floating point numbers. In fact, it is well-known that Sturm's theorem which is used in the algorithm is unstable for relatively large degree input polynomials. Here, we apply the stabilization method to the algorithm, and we propose an validated algorithm to compute the stability radius for polynomials. Two examples will be given to show effectiveness of the proposed algorithm.

że taki wybór nie zawsze jest właściwy. Zastosowanie klasycznego algorytmu deterministycznego prowadzi bowiem do lepszego rozwiązania, które ponadto jest znajdowane znacznie szybciej. Rozwaząnia zostały zilustrowane przykładem systemu wspomagającego projektowanie przepływomierzy elektromagnetycznych.