文件名称：DFT的matlab源代码-formal-fft:经过正式验证的FFT和DFT实现
文件大小：4KB
文件格式：ZIP
更新时间：2024-06-14 23:19:22
系统开源
DFT的matlab源代码经过正式验证的FFT和DFT实现
该程序包包含DFT和FFT实现，带有逆函数，用haskell
SBV
DSL编写。
在处理转换和逆函数时，已经使用几种已知的属性验证了这两种实现。
SBV提供了易于使用的SMT求解器界面，并已通过Z3
SMT求解器进行了测试。
执行
该实现包括三个主要部分：关于原始单位根的约束，具有反函数的DFT和具有反函数的FFT。
离散傅立叶变换接受阶数为n的单一的单位根，并对大小为n的输入向量l进行变换。
w的原始根（其中w是复数）的定义如下：
w
^
n
=
1
w
^
k！=
1，对于所有整数k，0
【文件预览】：
formal-fft-master
----Setup.hs(46B)
----src()
--------Math()
----LICENSE(1KB)
----README.md(2KB)
----formal-fft.cabal(545B)