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:
“The twentieth-century artist who uses symbols is alienated because the system of symbols is a private one. After you have dealt with the symbols you are still private, you are still lonely, because you are not sure anyone will understand it except yourself. The ransom of privacy is that you are alone.”
—Louise Bourgeois (b. 1911)