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:
“A religion so cheerless, a philosophy so sorrowful, could never have succeeded with the masses of mankind if presented only as a system of metaphysics. Buddhism owed its success to its catholic spirit and its beautiful morality.”
—W. Winwood Reade (1838–1875)