version 1.8, 2003/03/25 11:30:10 |
version 1.18, 2009/02/22 17:30:02 |
|
|
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.7 2002/08/12 06:00:56 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.17 2009/02/22 07:33:28 takayama Exp $ |
--> |
--> |
<html> |
<html> |
<body> |
<body> |
|
|
|
[<a href="index-doc-ja.html"> in Japanese </a>] <br> |
|
<a href="index-doc.html"> Documents </a>, |
|
<a href="../index.html"> Download </a>, |
|
<a href="../index-spec.html"> Specifications </a>, |
|
<a href="index-license.html"> License </a>, |
|
<a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>, |
|
<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html"> Top </a>, |
|
|
|
|
<OL> |
<OL> |
|
|
<LI> |
<LI> Asir manual. |
<ul> |
<ul> |
<li> <A HREF="asir2000/html-eg/man_toc.html"> Asir manual in English and HTML </A>. |
<li> <A HREF="asir2000/html-en/man_toc.html"> in English and HTML. </A> |
<li> <A HREF="asir2000/html-jp/man_toc.html"> Asir manual in Japanese and HTML </A>. |
<li> <A HREF="asir2000/html-ja/man_toc.html"> in Japanese and HTML. </A> |
<li> <A HREF="asir2000/man-eg.dvi"> Asir manual in English and dvi </A>. |
<li> <A HREF="asir2000/man-en.dvi"> in English and dvi. </A> |
<li> <A HREF="asir2000/man-jp.dvi"> Asir manual in Japanese and dvi </A>. |
<li> <A HREF="asir2000/man-ja.dvi"> in Japanese and dvi. </A> |
</ul> |
</ul> |
<LI> |
<LI> OpenXM Risa/Asir-contrib manual. |
<ul> |
<ul> |
<li> <A HREF="asir-contrib/html-en/cman-en_toc.html"> OpenXM/Risa/Asir-contrib manual in English and HTML </A>. |
<li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> in English and HTML. </A> |
<li> <A HREF="asir-contrib/html-ja/cman-ja_toc.html"> OpenXM/Risa/Asir-contrib manual in Japanese and HTML </A>. |
<li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> in Japanese and HTML. </A> |
<li> <A HREF="asir-contrib/cman-en.dvi"> OpenXM/Risa/Asir-contrib manual in English and dvi </A>. |
<li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A> |
<li> <A HREF="asir-contrib/cman-en.ps"> OpenXM/Risa/Asir-contrib manual in English and PS </A>. |
<li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A> |
<li> <A HREF="asir-contrib/cman-ja.dvi"> OpenXM/Risa/Asir-contrib manual in Japanese and dvi </A>. |
<li> <A HREF="asir-contrib/en"> The document folder of asir-contrib </A> |
<li> <A HREF="asir-contrib/cman-jp.ps"> Asir contrib manual in Japanese and PS </A>. |
|
</ul> |
</ul> |
|
|
<LI> |
<li> |
<A HREF="asir2000/html-internal-ja/internal_toc.html"> Inside Asir in HTML (Japanse) </A>. |
<a href="asir-contrib/index-doc-asir-contrib2-en.html"> |
|
OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. |
|
</a> |
|
|
<LI> |
<LI> Real Quadratic Quntifier Elimination in Risa/Asir. |
<ul> |
<ul> |
<li><A HREF="kan96xx/intro.ps"> Introduction to kan/sm1 in English and PS </A>. |
<li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A> |
<li> <A HREF="kan96xx/onlinehelp.ps"> Reference manual of kan/sm1 in English and PS </A>. |
<li> <A HREF="../../Stable/numtr.eps"> in English, PS </A> |
<li><A HREF="kan96xx/ttt/index.html"> Introduction to kan/sm1 in English and in HTML </A>. |
|
<li><A HREF="kan96xx/onlinehelp/index.html"> Reference manual of kan/sm1 in English and in HTML </A>. |
|
</ul> |
</ul> |
|
|
<LI> |
<LI> Inside Asir. |
<ul> |
<ul> |
<li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi </A>. |
<li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A> |
<li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi </A>. |
</ul> |
|
|
|
<LI> Experimental Functions in Asir. |
|
<ul> |
|
<li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A> |
|
</ul> |
|
|
|
<LI> Risa/Asir Journal |
|
<ul> |
|
<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A> |
|
</ul> |
|
|
|
<LI> Introduction to kan/sm1. |
|
<ul> |
|
<li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A> |
|
<li><A HREF="kan96xx/intro.ps"> in English and PS. </A> |
|
</ul> |
|
|
|
<LI> Reference manual of kan/sm1. |
|
<ul> |
|
<li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A> |
|
<li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A> |
|
</ul> |
|
|
|
<LI> miscellaneous. |
|
<ul> |
|
<li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A> |
|
<li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A> |
</ul> |
</ul> |
</OL> |
</OL> |
|
|
</body> |
</body> |
</html> |
|
|
|
|
</html> |