Mizar Mathematical Library
The Mizar Mathematical Library (MML) includes all theorems which can be referred in newly written articles. Once approved by the proof checker they are further evaluated in a process of peer-review for appropriate contribution and style. If accepted they are published in the associated Journal of Formalized Mathematics and added to the MML.
Read more about this topic: Mizar System
Famous quotes containing the words mathematical and/or library:
“It is by a mathematical point only that we are wise, as the sailor or the fugitive slave keeps the polestar in his eye; but that is sufficient guidance for all our life. We may not arrive at our port within a calculable period, but we would preserve the true course.”
—Henry David Thoreau (1817–1862)
“It is the interest one takes in books that makes a library. And if a library have interest it is; if not, it isn’t.”
—Carolyn Wells (1862–1942)