[BACK]Return to index-doc.html CVS log [TXT][DIR] Up to [local] / OpenXM / doc / OpenXM-web

Annotation of OpenXM/doc/OpenXM-web/index-doc.html, Revision 1.25

1.1       takayama    1: <!--
1.25    ! takayama    2: $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.24 2017/03/30 07:10:21 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>
                     52: <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A>
                     53: </ul>
1.9       takayama   54:
1.10      ohara      55: <LI> Experimental Functions in Asir.
                     56: <ul>
                     57: <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A>
                     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>
                     68: <li><A HREF="kan96xx/intro.ps"> in English and PS. </A>
1.8       takayama   69: </ul>
1.1       takayama   70:
1.10      ohara      71: <LI> Reference manual of kan/sm1.
1.8       takayama   72: <ul>
1.10      ohara      73: <li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A>
                     74: <li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A>
                     75: </ul>
                     76:
1.21      takayama   77: <LI> miscellaneous and others
1.10      ohara      78: <ul>
                     79: <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A>
                     80: <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A>
1.21      takayama   81: <li> <a href="other-docs/"> Other documents </a> (which are not maintained by the OpenXM document project).
1.8       takayama   82: </ul>
1.1       takayama   83: </OL>
                     84:
1.8       takayama   85: </body>
1.18      ohara      86: </html>
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>