TY - CONF
AB - Operations on univariate dense polynomials—multiplication, division with remainder, multipoint
evaluation—constitute central primitives entering as build-up blocks into many higher applications and
algorithms. Fast Fourier Transform permits to accelerate them from naive quadratic to running time
O(n·polylogn), that is softly linear in the degree n of the input. This is routinely employed in complexity
theoretic considerations and, over integers and finite fields, in practical number theoretic calculations.
The present work explores the benefit of fast polynomial arithmetic over the field of real numbers
where the precision of approximation becomes crucial. To this end, we study the computability of the
above operations in the sense of Recursive Analysis as an effective refinement of continuity. This theo-
retical worst-case stability analysis is then complemented by an empirical evaluation: We use GMP and
the iRRAM to find the precision required for the intermediate calculations in order to achieve a desired
output accuracy.
AU - Köhler, Sven
AU - Ziegler, Martin
ID - 26243
T2 - Proc. 8th Conference on Real Numbers and Computers
TI - On the Stability of Fast Polynomial Arithmetic
ER -