[ in Japanese ]
Documents , Download , Specifications , License , cvsweb, Search, Data archive , Top ,
  1. Asir manual.
  2. OpenXM Risa/Asir-contrib manual.
  3. OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials.
  4. Real Quadratic Quntifier Elimination in Risa/Asir.
  5. Inside Asir.
  6. Experimental Functions in Asir.
  7. Risa/Asir Journal
  8. Introduction to kan/sm1.
  9. Reference manual of kan/sm1.
  10. miscellaneous and others