Computing discrete convolutions with verified accuracy via Banach algebras and the FFT /
We introduce a method to compute rigorous component-wise enclosures of discrete convolutions using the fast Fourier transform, the properties of Banach algebras, and interval arithmetic. The purpose of this new approach is to improve the implementation and the applicability of computer-assisted proo...
Hlavní autor: | |
---|---|
Typ dokumentu: | Článek |
Jazyk: |
angličtina |
ISSN: | 0862-7940 |
Zdroj: | Applications of mathematics: Vol. 63, no. 3 (2018), s. 219-235. |
Předmět: | |
Externí odkaz: |
Plný text |