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:
“In the course of the actual attainment of selfish ends—an attainment conditioned in this way by universality—there is formed a system of complete interdependence, wherein the livelihood, happiness, and legal status of one man is interwoven with the livelihood, happiness, and rights of all. On this system, individual happiness, etc. depend, and only in this connected system are they actualized and secured.”
—Georg Wilhelm Friedrich Hegel (1770–1831)