version 1.4, 2001/06/24 10:26:42 |
version 1.28, 2022/03/26 00:18:23 |
|
|
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.3 2000/10/31 04:56:31 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.27 2019/03/28 23:03:04 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="google-ja.html">Search</a>, |
|
<a href="../../Math"> Data archive </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-eg_toc.html"> 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"> Asir contrib manual in Japanese and HTML </A>. |
OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. |
<A HREF="asir-contrib/cman-eg.dvi"> Asir contrib manual in English and dvi </A>. |
</a> |
<A HREF="asir-contrib/cman-eg.ps"> Asir contrib manual in English and PS </A>. |
|
<A HREF="asir-contrib/cman-jp.dvi"> 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="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="../../Stable/numtr.pdf"> in English, PDF </A> |
|
<li> <A HREF="../../Stable/numtr.eps"> in English, PS </A> |
|
</ul> |
|
|
<LI> |
<LI> Inside 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-internal-ja/internal.html"> in Japanese and HTML. </A> |
|
</ul> |
|
|
<LI> |
<LI> Experimental Functions in Asir. |
<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="asir2000/html-exp-ja/exp-ja/exp-ja.html"> in Japanese and HTML. </A> |
|
</ul> |
|
|
</OL> |
<LI> Risa/Asir Journal |
|
<ul> |
|
<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A> |
|
</ul> |
|
|
<BR> |
<LI> Introduction to kan/sm1. |
<BR> |
<ul> |
<center> OpenXM Technical Report Series </center> |
<li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A> |
<OL> |
<!-- |
<LI> |
<li><A HREF="kan96xx/intro.ps"> in English and PS. </A> |
<A HREF="report/1/rep_toc.html"> 1. Performance Evaluation of Java |
--> |
for mathematical computation (in preparation) </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 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> |