8.2 登録の準備


article の改良のチェックがすべて終わったら,次に,ENV を実行します.ENV を実行すると,まず accommodateし,そして自分の article(.MIZファイル)から,その articleが参照されるためのファイルを作ってくれます. MIZ2ABS を実行すると,Theorem と Definition だけ抜きだして,abstract file(.ABSファイル)が作成されます.さらに,その article を参照できるように,PRE を実行すると,自分のディレクトリの PREL に必要なファイルをコピーします.


article 改良後に使うコマンド

ENV 参照されるためのファイルを作る.

MIZ2ABS abstract fileをつくる.

PRE article を参照できるようにファイルをコピーする.

そして,その article が引用されるときのために,article を書いた著者名,所属,住所,引用文献などを普通の文章で書き,これを .BIBファイルとします.bibart.exe が専用の入力ツールとなっていますので、使ってみて下さい。

そうしてできた article を Mizar Societyにフロッピーディスクで送ります.いい論文(article)であれば,accept され,その通知がきます.acceptされますと,Formalized Mathematics という雑誌(accept されないかもしれません)に, Mizar article が自動的に英語の論文に変換されて掲載されます.