%0 Journal Article %A Lessard, Jean-Philippe %T Computing discrete convolutions with verified accuracy via Banach algebras and the FFT %J Applications of Mathematics %D 2018 %P 219-235 %V 63 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.21136/AM.2018.0082-18/ %R 10.21136/AM.2018.0082-18 %G en %F 10_21136_AM_2018_0082_18