1. CLRS-Lean
  2. CLRS Fourth Edition
  3. Chapter 30. Polynomials and the FFT
  4. 30.3. Efficient FFT Implementations
  5. 30.3. Iterative Radix-2 FFT
Imports
import CLRSLean.FourthEdition.Chapter_30.Section_30_3_Efficient_FFT_Implementations.IterativeFFT.Definitions import CLRSLean.FourthEdition.Chapter_30.Section_30_3_Efficient_FFT_Implementations.IterativeFFT.Correctness import CLRSLean.FourthEdition.Chapter_30.Section_30_3_Efficient_FFT_Implementations.IterativeFFT.Costs

Section 30.3: Iterative radix-2 FFT

The iterative development separates the ordered stage execution, its recursive half-factorization proof, and the execution-attached exact cost analysis.

Implementation pages:

namespace CLRSnamespace Chapter30end Chapter30end CLRS