THE LINEAR REPRESENTATIONS OF DECISION PROBLEMS
We show that a polynomial over has a zero point in the Cartesian product of if and only if the determinant of the matrix derived from its polynomial is equal to 0.
decision problem, residue class ring, symmetric matrix.
