[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.13

1.1       takayama    1: <!--
1.13    ! takayama    2: $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.12 2005/04/15 00:50:54 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>,
                     12: <a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
1.12      takayama   13: <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html"> Top </a>,
1.11      takayama   14:
                     15:
1.1       takayama   16: <OL>
                     17:
1.10      ohara      18: <LI> Asir manual.
1.8       takayama   19: <ul>
1.10      ohara      20: <li> <A HREF="asir2000/html-eg/man_toc.html"> in English and HTML. </A>
                     21: <li> <A HREF="asir2000/html-jp/man_toc.html"> in Japanese and HTML. </A>
                     22: <li> <A HREF="asir2000/man-eg.dvi"> in English and dvi. </A>
                     23: <li> <A HREF="asir2000/man-jp.dvi"> in Japanese and dvi. </A>
1.8       takayama   24: </ul>
1.10      ohara      25: <LI> OpenXM Risa/Asir-contrib manual.
1.8       takayama   26: <ul>
1.11      takayama   27: <li> <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> in English and HTML. </A>
                     28: <li> <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> in Japanese and HTML. </A>
                     29: <li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A>
                     30: <li> <A HREF="asir-contrib/en/cman-en.ps">  in English and PS. </A>
                     31: <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A>
                     32: <li> <A HREF="asir-contrib/ja/cman-jp.ps">  in Japanese and PS. </A>
1.13    ! takayama   33: </ul>
        !            34:
        !            35: <LI> Real Quadratic Quntifier Elimination in Risa/Asir.
        !            36: <ul>
        !            37: <li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A>
        !            38: <li> <A HREF="../../Stable/numtr.eps"> in English, PS </A>
1.8       takayama   39: </ul>
1.5       takayama   40:
1.10      ohara      41: <LI> Inside Asir.
                     42: <ul>
                     43: <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A>
                     44: </ul>
1.9       takayama   45:
1.10      ohara      46: <LI> Experimental Functions in Asir.
                     47: <ul>
                     48: <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A>
                     49: </ul>
1.1       takayama   50:
1.10      ohara      51: <LI> Introduction to kan/sm1.
1.8       takayama   52: <ul>
1.10      ohara      53: <li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A>
                     54: <li><A HREF="kan96xx/intro.ps"> in English and PS. </A>
1.8       takayama   55: </ul>
1.1       takayama   56:
1.10      ohara      57: <LI> Reference manual of kan/sm1.
1.8       takayama   58: <ul>
1.10      ohara      59: <li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A>
                     60: <li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A>
                     61: </ul>
                     62:
                     63: <LI> miscellaneous.
                     64: <ul>
                     65: <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A>
                     66: <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A>
1.8       takayama   67: </ul>
1.1       takayama   68: </OL>
                     69:
1.8       takayama   70: </body>
                     71: </html>
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>