User's manual

1. Asir
   • English, HTML ( Table of contents ).
   • English, PDF.
2. OpenXM/Risa/Asir-contrib
   • English, HTML
   • English, PDF.
   • Asir-contrib document folder
3. Experimental functions (in Japanese)
   • Japanese, HTML.
4. Others
   • introduction (in Japanse), ...
   • os_muldif (in Japanese), ... .
5. Second quantifier elimination
   • English, PDF

Documents for developpers

1. Risa/Asir Journal
   • Risa/Asir Journal
2. Internal structure of Asir
   • Japanese, HTML
3. Source code
   • Download the source code
   • source code (cvsweb)