Novak's positive-sem definiteness conjecture for trigonometric integration matrices
Novak's conjecture. The matrix
MathDB