[ in Japanese ]
Documents , Download , Specifications , License , cvsweb, Top ,

1. Asir manual.
   • in English and HTML.
   • in Japanese and HTML.
   • in English and dvi.
   • in Japanese and dvi.
2. OpenXM Risa/Asir-contrib manual.
   • in English and HTML.
   • in Japanese and HTML.
   • in English and dvi.
   • in English and PS.
   • in Japanese and dvi.
   • in Japanese and PS.
3. Real Quadratic Quntifier Elimination in Risa/Asir.
   • in English, PDF
   • in English, PS
4. Inside Asir.
   • in Japanese and HTML.
5. Experimental Functions in Asir.
   • in Japanese and HTML.
6. Introduction to kan/sm1.
   • in English and in HTML.
   • in English and PS.
7. Reference manual of kan/sm1.
   • in English and in HTML.
   • in English and PS.
8. miscellaneous.
   • Manual of math2ox in English and dvi.
   • Manual of ox_math in Japanese and dvi.