Mizar system (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Mizar system" in English language version.

refsWebsite

Global rank English rank

6mizar.org

low place

4doi.org

2^nd place

3ru.nl

9,179^th place

6,972^nd place

3web.archive.org

1^st place

2handle.net

102^nd place

76^th place

1nabble.com

low place

1uwb.edu.pl

low place

1ams.org

451^st place

277^th place

1archive.today

14^th place

1arxiv.org

69^th place

59^th place

1unibo.it

4,963^rd place

7,139^th place

1man.ac.uk

low place

1github.com

383^rd place

320^th place

ams.org

Wiedijk, Freek (2008). "Formal Proof--Getting Started" (PDF). Notices of the AMS. 55 (11): 1408–1414.

archive.today

The MathWiki project homepage

arxiv.org

Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef (2011). "Large Formal Wikis: Issues and Solutions". In Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (eds.). Intelligent Computer Mathematics – 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Lecture Notes in Computer Science. Vol. 6824. Springer. pp. 133–148. arXiv:1107.3209. doi:10.1007/978-3-642-22673-1_10.

doi.org

Naumowicz, Adam; Kornilowicz, Artur (2009). "A Brief Overview of Mizar". In Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius (eds.). Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17–20, 2009. Proceedings. Lecture Notes in Computer Science. Vol. 5674. Springer. pp. 67–72. doi:10.1007/978-3-642-03359-9_5.
Wiedijk, Freek (2009). "Formalizing Arrow's theorem". Sādhanā. 34 (1): 193–220. doi:10.1007/s12046-009-0005-1. hdl:2066/75428.
Geuvers, H. (2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. doi:10.1007/s12046-009-0001-5. hdl:2066/75958.
Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef (2011). "Large Formal Wikis: Issues and Solutions". In Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (eds.). Intelligent Computer Mathematics – 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Lecture Notes in Computer Science. Vol. 6824. Springer. pp. 133–148. arXiv:1107.3209. doi:10.1007/978-3-642-22673-1_10.

github.com

Mizar source code

handle.net

hdl.handle.net

Wiedijk, Freek (2009). "Formalizing Arrow's theorem". Sādhanā. 34 (1): 193–220. doi:10.1007/s12046-009-0005-1. hdl:2066/75428.
Geuvers, H. (2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. doi:10.1007/s12046-009-0001-5. hdl:2066/75958.

man.ac.uk

cs.man.ac.uk

Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. ISBN 9780521631075. Archived from the original on 2015-06-23. Retrieved 2012-07-24.

mizar.org

mmlquery.mizar.org

The MML Query search engine
"A list of named theorems in the MML". Retrieved 22 July 2012.
An example of an MML query, yielding all theorems proved on the exponent operator, by the number of times they are cited in subsequent theorems.
Another example of an MML query, yielding all theorems proved on sigma fields.

mizar.org

Matuszewski, Roman; Piotr Rudnicki (2005). "Mizar: the first 30 years" (PDF). Mechanized Mathematics and Its Applications. 4.

fm.mizar.org

Journal of Formalized Mathematics

nabble.com

old.nabble.com

Mailing list discussion Archived 2011-10-09 at the Wayback Machine referring to the close-sourcing of Mizar.

ru.nl

cs.ru.nl

Wiedijk, Freek. "Mizar". Retrieved 24 July 2018.
Wiedijk, Freek. "The "de Bruijn factor"". Retrieved 24 July 2018.
Wiedijk, Freek (2007). "The QED Manifesto Revisited" (PDF). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. 10 (23).

unibo.it

jfr.unibo.it

Grabowski, Adam; Artur Kornilowicz; Adam Naumowicz (2010). "Mizar in a Nutshell". Journal of Formalized Reasoning. 3 (2): 152–245.

uwb.edu.pl

mizar.uwb.edu.pl

Mailing list announcement referring to the open-sourcing of MML.

web.archive.org

Mailing list discussion Archived 2011-10-09 at the Wayback Machine referring to the close-sourcing of Mizar.
The MML in wiki form
Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. ISBN 9780521631075. Archived from the original on 2015-06-23. Retrieved 2012-07-24.