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:
“What he loved so much in the plant morphological structure of the tree was that given a fixed mathematical basis, the final evolution was so incalculable.”
—D.H. (David Herbert)
“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)