Sign In

Login

Password

Forgot Password ? Sign Up

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
low place
4doi.org
2nd place
2nd place
3ru.nl
9,179th place
6,972nd place
3web.archive.org
1st place
1st place
2handle.net
102nd place
76th place
1nabble.com
low place
low place
1uwb.edu.pl
low place
low place
1ams.org
451st place
277th place
1archive.today
14th place
14th place
1arxiv.org
69th place
59th place
1unibo.it
4,963rd place
7,139th place
1man.ac.uk
low place
low place
1github.com
383rd place
320th place

ams.org (Global: 451st place; English: 277th place)

archive.today (Global: 14th place; English: 14th place)

arxiv.org (Global: 69th place; English: 59th place)

  • 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. ISBN 978-3-642-22672-4.

doi.org (Global: 2nd place; English: 2nd place)

  • 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. ISBN 978-3-642-03358-2.
  • 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. ISBN 978-3-642-22672-4.

github.com (Global: 383rd place; English: 320th place)

handle.net (Global: 102nd place; English: 76th place)

hdl.handle.net

man.ac.uk (Global: low place; English: low place)

cs.man.ac.uk

mizar.org (Global: low place; English: low place)

mmlquery.mizar.org

mizar.org

fm.mizar.org

nabble.com (Global: low place; English: low place)

old.nabble.com

ru.nl (Global: 9,179th place; English: 6,972nd place)

cs.ru.nl

unibo.it (Global: 4,963rd place; English: 7,139th place)

jfr.unibo.it

uwb.edu.pl (Global: low place; English: low place)

mizar.uwb.edu.pl

web.archive.org (Global: 1st place; English: 1st place)