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