Mizar (disambiguation)

From Citizendium

Revision as of 19:19, 29 January 2010 by imported>Peter Schmitt (new)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This disambiguation page lists articles associated with the same or a similar title.

Mizar is

In astronomy: [r]: The star ζ Ursae Majoris ^[e]
With computers: [r]: A software package for automated verification of mathematical definitions and proofs. ^[e]

Retrieved from "https://citizendium.org/wiki/index.php?title=Mizar_(disambiguation)&oldid=720588"

Disambiguation