Annotation of OpenXM/doc/OpenXM-web/index-doc.html, Revision 1.27
1.1 takayama 1: <!--
1.27 ! takayama 2: $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.26 2017/03/30 13:32:30 takayama Exp $
1.1 takayama 3: -->
1.8 takayama 4: <html>
5: <body>
1.11 takayama 6:
7: [<a href="index-doc-ja.html"> in Japanese </a>] <br>
8: <a href="index-doc.html"> Documents </a>,
9: <a href="../index.html"> Download </a>,
10: <a href="../index-spec.html"> Specifications </a>,
11: <a href="index-license.html"> License </a>,
1.22 takayama 12: <a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>,
1.25 takayama 13: <a href="google-ja.html">Search</a>
1.12 takayama 14: <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html"> Top </a>,
1.11 takayama 15:
16:
1.1 takayama 17: <OL>
18:
1.10 ohara 19: <LI> Asir manual.
1.8 takayama 20: <ul>
1.23 takayama 21: <li> <A HREF="asir2000/html-en/man/man.html"> in English and HTML </A>
22: ( <A HREF="asir2000/html-en/man/man_toc.html"> table of contents </A> ).
23: <li> <A HREF="asir2000/html-ja/man/man.html"> Japanese, HTML </A>
24: ( <A HREF="asir2000/html-ja/man/man_toc.html"> table of contents </A> ).
1.19 takayama 25: <li> <A HREF="asir2000/man-en.pdf"> in English, PDF. </A>
26: <li> <A HREF="asir2000/man-ja.pdf"> in Japanese, PDF. </A>
1.8 takayama 27: </ul>
1.10 ohara 28: <LI> OpenXM Risa/Asir-contrib manual.
1.8 takayama 29: <ul>
1.23 takayama 30: <li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> in English and HTML </A>
1.24 takayama 31: <!-- ( <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> table of contents </A> ). -->
1.23 takayama 32: <li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> Japanese, HTML </A>
1.24 takayama 33: <!-- ( <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> table of contents </A> ). -->
1.19 takayama 34: <li> <A HREF="asir-contrib/en/cman-en.pdf"> in English, PDF. </A>
35: <li> <A HREF="asir-contrib/ja/cman-ja.pdf"> in Japanese, PDF. </A>
1.15 takayama 36: <li> <A HREF="asir-contrib/en"> The document folder of asir-contrib </A>
1.13 takayama 37: </ul>
1.14 takayama 38:
39: <li>
40: <a href="asir-contrib/index-doc-asir-contrib2-en.html">
41: OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials.
42: </a>
1.13 takayama 43:
44: <LI> Real Quadratic Quntifier Elimination in Risa/Asir.
45: <ul>
46: <li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A>
47: <li> <A HREF="../../Stable/numtr.eps"> in English, PS </A>
1.8 takayama 48: </ul>
1.5 takayama 49:
1.10 ohara 50: <LI> Inside Asir.
51: <ul>
1.26 takayama 52: <li> <A HREF="asir2000/html-internal-ja/internal.html"> in Japanese and HTML. </A>
1.10 ohara 53: </ul>
1.9 takayama 54:
1.10 ohara 55: <LI> Experimental Functions in Asir.
56: <ul>
1.26 takayama 57: <li> <A HREF="asir2000/html-exp-ja/exp-ja/exp-ja.html"> in Japanese and HTML. </A>
1.10 ohara 58: </ul>
1.1 takayama 59:
1.15 takayama 60: <LI> Risa/Asir Journal
61: <ul>
62: <li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A>
63: </ul>
64:
1.10 ohara 65: <LI> Introduction to kan/sm1.
1.8 takayama 66: <ul>
1.10 ohara 67: <li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A>
1.27 ! takayama 68: <!--
1.10 ohara 69: <li><A HREF="kan96xx/intro.ps"> in English and PS. </A>
1.27 ! takayama 70: -->
1.8 takayama 71: </ul>
1.1 takayama 72:
1.10 ohara 73: <LI> Reference manual of kan/sm1.
1.8 takayama 74: <ul>
1.10 ohara 75: <li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A>
1.27 ! takayama 76: <!--
1.10 ohara 77: <li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A>
1.27 ! takayama 78: -->
1.10 ohara 79: </ul>
80:
1.21 takayama 81: <LI> miscellaneous and others
1.10 ohara 82: <ul>
83: <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A>
84: <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A>
1.21 takayama 85: <li> <a href="other-docs/"> Other documents </a> (which are not maintained by the OpenXM document project).
1.8 takayama 86: </ul>
1.1 takayama 87: </OL>
88:
1.8 takayama 89: </body>
1.18 ohara 90: </html>
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>