Mizar System
The Mizar project has completely formalized and automatically checked a proof of Hilbert's basis theorem in the HILBASIS file.
Read more about this topic: Hilbert's Basis Theorem
Famous quotes containing the word system:
“Psychoanalysis is an attempt to examine a person’s self-justifications. Hence it can be undertaken only with the patient’s cooperation and can succeed only when the patient has something to gain by abandoning or modifying his system of self-justification.”
—Thomas Szasz (b. 1920)