[ in English ]
文書 , ダウンロード , 仕様 , License , cvsweb, 表紙 ,

1. Asir のマニュアル
   • in English and HTML.
   • 日本語, HTML.
   • in English and dvi.
   • 日本語, dvi.
2. OpenXM/Risa/Asir-contrib のマニュアル
   • in English and HTML.
   • 日本語, HTML.
   • in English and dvi.
   • in English and PS.
   • 日本語, dvi.
   • 日本語, PS.
3. Asir の2次量詞消去機能について
   • 英語, PDF
   • 英語, PS
4. Asir の内部構造について
   • 日本語, HTML
5. Asir の実験的な関数
   • 日本語, HTML.
6. kan/sm1 入門
   • in English and in HTML.
   • in English and PS.
7. kan/sm1 マニュアル
   • in English and in HTML.
   • in English and PS.
8. その他
   • Manual of math2ox in English and dvi.
   • ox_math (日本語, dvi)