DFT的matlab源代码-formal-fft:经过正式验证的FFT和DFT实现

【文件属性】：
文件名称：DFT的matlab源代码-formal-fft:经过正式验证的FFT和DFT实现
文件大小：4KB
文件格式：ZIP
更新时间：2021-05-26 05:32:42
系统开源 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 DFT ^ -1（DFT（l，x），x）== l的列表，其中l由1到8个元素组成。 永远X. 基本单位根x，永久l。 l大小为n的列表==> DFT ^ -1（DFT（l，x）

【文件预览】：
formal-fft-master
----Setup.hs(46B)
----src()
--------Math()
----LICENSE(1KB)
----README.md(2KB)
----formal-fft.cabal(545B)