Conceptcore
DFT matrix
Also called Fourier matrix, Vandermonde matrix of roots of unity.
The n-by-n Vandermonde matrix of powers of a primitive n-th root of unity; multiplying by it computes the DFT.
The n-by-n Vandermonde matrix of powers of a primitive n-th root of unity; multiplying by it computes the DFT.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag CQS8J6 Edit this page History Report an error