[ in Japanese ]
Documents ,
Download ,
Specifications ,
License ,
cvsweb,
Top ,
- Asir manual.
- OpenXM Risa/Asir-contrib manual.
- Real Quadratic Quntifier Elimination in Risa/Asir.
- Inside Asir.
- Experimental Functions in Asir.
- Introduction to kan/sm1.
- Reference manual of kan/sm1.
- miscellaneous.