version 1.7, 2002/08/12 06:00:56 |
version 1.23, 2017/03/29 23:27:56 |
|
|
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.6 2001/08/12 07:44:33 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.22 2015/07/28 06:41:25 takayama Exp $ |
--> |
--> |
|
<html> |
|
<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://c1.math.kobe-u.ac.jp/cgi-bin/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. |
<A HREF="asir2000/html-eg/man_toc.html"> Asir manual in English and HTML </A>. |
<ul> |
<A HREF="asir2000/html-jp/man_toc.html"> Asir manual in Japanese and HTML </A>. |
<li> <A HREF="asir2000/html-en/man/man.html"> in English and HTML </A> |
<A HREF="asir2000/man-eg.dvi"> Asir manual in English and dvi </A>. |
( <A HREF="asir2000/html-en/man/man_toc.html"> table of contents </A> ). |
<A HREF="asir2000/man-jp.dvi"> Asir manual in Japanese and dvi </A>. |
<li> <A HREF="asir2000/html-ja/man/man.html"> Japanese, HTML </A> |
|
( <A HREF="asir2000/html-ja/man/man_toc.html"> table of contents </A> ). |
|
<li> <A HREF="asir2000/man-en.pdf"> in English, PDF. </A> |
|
<li> <A HREF="asir2000/man-ja.pdf"> in Japanese, PDF. </A> |
|
</ul> |
|
<LI> OpenXM Risa/Asir-contrib manual. |
|
<ul> |
|
<li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> in English and HTML </A> |
|
( <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> table of contents </A> ). |
|
<li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> Japanese, HTML </A> |
|
( <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> table of contents </A> ). |
|
<li> <A HREF="asir-contrib/en/cman-en.pdf"> in English, PDF. </A> |
|
<li> <A HREF="asir-contrib/ja/cman-ja.pdf"> in Japanese, PDF. </A> |
|
<li> <A HREF="asir-contrib/en"> The document folder of asir-contrib </A> |
|
</ul> |
|
|
<LI> |
<li> |
<A HREF="asir-contrib/html-en/cman-en_toc.html"> OpenXM/Risa/Asir-contrib manual in English and HTML </A>. |
<a href="asir-contrib/index-doc-asir-contrib2-en.html"> |
<A HREF="asir-contrib/html-ja/cman-ja_toc.html"> OpenXM/Risa/Asir-contrib manual in Japanese and HTML </A>. |
OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. |
<A HREF="asir-contrib/cman-en.dvi"> OpenXM/Risa/Asir-contrib manual in English and dvi </A>. |
</a> |
<A HREF="asir-contrib/cman-en.ps"> OpenXM/Risa/Asir-contrib manual in English and PS </A>. |
|
<A HREF="asir-contrib/cman-ja.dvi"> OpenXM/Risa/Asir-contrib manual in Japanese and dvi </A>. |
|
<A HREF="asir-contrib/cman-jp.ps"> Asir contrib manual in Japanese and PS </A>. |
|
|
|
<LI> |
<LI> Real Quadratic Quntifier Elimination in Risa/Asir. |
<A HREF="asir2000/html-internal-ja/internal_toc.html"> Inside Asir in HTML (Japanse) </A>. |
<ul> |
|
<li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A> |
|
<li> <A HREF="../../Stable/numtr.eps"> in English, PS </A> |
|
</ul> |
|
|
<LI> |
<LI> Inside Asir. |
<A HREF="kan96xx/intro.ps"> Introduction to kan/sm1 in English and PS </A>. |
<ul> |
<A HREF="kan96xx/onlinehelp.ps"> Reference manual of kan/sm1 in English and PS </A>. |
<li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A> |
<A HREF="kan96xx/ttt/index.html"> Introduction to kan/sm1 in English and in HTML </A>. |
</ul> |
<A HREF="kan96xx/onlinehelp/index.html"> Reference manual of kan/sm1 in English and in HTML </A>. |
|
|
|
<LI> |
<LI> Experimental Functions in Asir. |
<A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi </A>. |
<ul> |
<A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi </A>. |
<li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A> |
|
</ul> |
|
|
<LI> |
<LI> Risa/Asir Journal |
<A HREF="pari/users.dvi"> Pari users manual in English and dvi </A>. |
<ul> |
<A HREF="pari/tutorial.dvi"> Pari Tutorial in English and dvi </A>. |
<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A> |
|
</ul> |
|
|
</OL> |
<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> |
|
|
<BR> |
<LI> Reference manual of kan/sm1. |
<BR> |
<ul> |
<center> OpenXM Technical Report Series </center> |
<li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A> |
<OL> |
<li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A> |
<LI> |
</ul> |
<A HREF="report/1/rep_toc.html"> 1. Performance Evaluation of Java |
|
for mathematical computation (in preparation) </A> |
<LI> miscellaneous and others |
|
<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> |
|
<li> <a href="other-docs/"> Other documents </a> (which are not maintained by the OpenXM document project). |
|
</ul> |
</OL> |
</OL> |
|
|
|
</body> |
|
</html> |