Hilbert basis Hilbert basis (linear programming) Hilbert's basis theorem Invariant theory Orthonormal basis