A verified fast Fourier transform using rectangular arithmetic based on midpoint-radius interval arithmetic
A verified fast Fourier transform using rectangular arithmetic based on midpoint-radius interval arithmetic
篠塚 敬介, 高橋 大介: “A verified fast Fourier transform using rectangular arithmetic based on midpoint-radius interval arithmetic”, IPSJ SIG Technical Report, 154th SIGHPC Meeting (HPC154), Vol. 2016-HPC-154, No. 9, Apr. 2016. (in Japanese)
IPSJ SIG Technical Report, 154th SIGHPC Meeting (HPC154)
BiBTeX entry
@techreport { IPSJ-HPC154:shinoduka,
author = "{篠塚 敬介} and {高橋 大介}",
title = "{中心-半径型区間演算に基づく矩形演算を用いた精度保証付き高速フーリエ変換}",
year = "2016",
volume = "2016-HPC-154",
number = "9",
month = "4",
booktitle = "情報処理学会第154回HPC研究会報告 (HPC154)"
}