Mizar : チュートリアル, ライブラリ検索, 各種リソース


チュートリアル

Mizar講義録(改訂第二版, HTML)
Mizar講義録(改訂第四版, HTML) , PDF, MS-word
Mizar 証明の構成法 (Skeletons of Mizar Proofs: Artur Kornilowicz 教授著)

ライブラリ

Mizarの全ライブラリ (main site) (Josef Urban教授作成) "proof"が表示されている部分をクリックすると証明が閲覧可能!
Mizarの全ライブラリ (another site) (Josef Urban教授作成)
MML-ID/タイトル/著者別 アーティクルインデックス
Mizarの記号辞書 : 従来の数学記号とMizarの記号の対照表
JFM 検索 (旧いデータ)
MML 高機能検索システム (Grzegorz Bancerek教授作成) 検索コマンド例

web版プルーフチェッカ

Mizar Verifier on Web : Web 上で Mizar system が利用できます

書籍, 論文誌, 大会・研究会プロシーディング

From Insight to Proof Festschrift in Honour of Andrzej Trybulec
Formalized Mathematics 論文誌
Mechanized Mathematics and Its Applications 論文誌
Technical Symposium and General Assembly of Mizar JAPAN 講演論文集

Mizarサイト, ダウンロード

Mizar メインサイト
Mizar 日本ミラーサイト
Mizarシステムのダウンロード(日本ミラー)
Mizar TWiki (Mizarの質問,Tips,各種ツール, ドキュメントのWiki)

Mizarフォーラム : メーリングリスト

Mizarフォーラム : メーリングリストへの参加方法
Mizarフォーラム : メーリングリストの記事検索・閲覧

Back Home English