mizar.org

Total Links

Wikipedia Pages

Subdomains

Topics

Arts & Entertainment TV & Video

Subdomains

fm.mizar.org mmlquery.mizar.org www.mizar.org

Wikipedia Pages Linking to mizar.org

QED manifesto

View on Wikipedia

3 links on this page

Urysohn's lemma

View on Wikipedia

1 links on this page

Kőnig's lemma

View on Wikipedia

1 links on this page

Mizar system

View on Wikipedia

1 links on this page

Jordan curve theorem

View on Wikipedia

1 links on this page

Wikipedia Links

http://mizar.org/JFM/Vol13/urysohn3.html

Anchor text: URYSOHN3 file

Wikipedia: Urysohn's lemma

http://mizar.org/JFM/Vol3/trees_2.html

Anchor text: TREES_2

Wikipedia: Kőnig's lemma

http://mizar.org/people/romat/MatRud2005.pdf

Wikipedia: Mizar system

http://mizar.org/people/romat/qed95rep.pdf

Anchor text: The QED Workshop II report

Wikipedia: QED manifesto

http://mizar.org/trybulec65/8.pdf

Anchor text: The QED Manifesto Revisited

Wikipedia: QED manifesto

http://mizar.org/trybulec65/7.pdf

Anchor text: Gradual Computerisation/Formalisation of Mathematical Texts into Mizar

Wikipedia: QED manifesto

http://mizar.org/trybulec65/4.pdf

Wikipedia: Jordan curve theorem

http://mizar.org/fm/2004-12/pdf12-1/uproots.pdf

Wikipedia: Polynomial remainder theorem

http://mizar.org/

Anchor text: Mizar Home Page

Wikipedia: Formal proof

http://mizar.org/people/romat/MatRud2005.pdf

Wikipedia: Andrzej Trybulec