Research proof index

For every real $x\ge2$, the extended-nonnegative geometric series satisfies

$\sum_{n=0}^{\infty}2^{-n/x}\le2^x.$

The determinant of an SO(3) matrix minus the identity is equal to zero.

For every element of SO(3) there exists a vector which remains unchanged under the action of that SO(3) element.

The GS degree bound with m=1 divided by (k-1) is less than F when |F| ≥ 5 and the RS code is non-degenerate (k+1 ≤ n ≤ F).

The indices of constraints are m * (m + 1) / 2.

The number of variables is the sum over j of the number of valid i's.