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:
“The circumstances of human society are too complicated to be submitted to the rigour of mathematical calculation.”
—Marquis De Custine (1790–1857)
“To a historian libraries are food, shelter, and even muse. They are of two kinds: the library of published material, books, pamphlets, periodicals, and the archive of unpublished papers and documents.”
—Barbara Tuchman (1912–1989)