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:
“Intimately concerned as we are with the system of Europe, it does not follow that we are therefore called upon to mix ourselves on every occasion, with a restless and meddling activity, in the concerns of the nations which surround us.”
—George Canning (1770–1827)