1 paper
Jian Gu, Liyi Zhou, Yuhu Wang
We give computer-assisted proofs that every principal minor of each of the \(70\times70\) and \(143\times143\) Fourier matrices is nonzero. A lifting theorem of Caragea, Lee, Malik…