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 system was breaking down. The one who had wandered alone past so many happenings and events began to feel, backing up along the primal vein that led to his center, the beginning of hiccup that would, if left to gather, explode the center to the extremities of life, the suburbs through which one makes one’s way to where the country is.”
—John Ashbery (b. 1927)