hilbert basis theorem

Input interpretation

Hilbert basis theorem

Alternate name

basis theorem