Perfectness conjecture for preorderings of matrix polynomials
Perfectness conjecture. The induced quadratic module satisfies
MathDB