| Hilbert Basis Theorem |
Article Index for Hilbert |
Website Links For Basis |
Information AboutHilbert Basis Theorem |
|
Hilbert produced an innovative proof by contradiction using . A slightly more general statement of Hilbert's basis theorem is: if ''R'' is a left (respectively right) Noetherian Ring , then the Polynomial Ring ''R'' {Link without Title} is also left (respectively right) Noetherian. The Mizar Project has completely formalized and automatically checked a proof of Hilbert's basis theorem in the HILBASIS file . REFERENCES
|
|
|