Neli S. Dimitrova, Svetoslav M. Markov. Verified Computation of Fast Decreasing Polynomials. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 229-240, Springer, 1998. [doi]
Abstract is missing.