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

Annotation of OpenXM/doc/OpenXM-web/index-doc-asir-en.html, Revision 1.1

1.1     ! takayama    1: <!--
        !             2: $OpenXM$
        !             3: -->
        !             4: <html>
        !             5: <META http-equiv="Content-Type" content="text/html; charset=UTF-8">
        !             6: <body>
        !             7:
        !             8: <a href="google-ja.html">Search</a>,
        !             9: <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index-ja.html"> OpenXM </a>,
        !            10:
        !            11:
        !            12: <h3> User's manual</h3>
        !            13: <OL>
        !            14: <LI> Asir
        !            15: <ul>
        !            16: <li> <A HREF="asir2000/html-en/man/man.html"> English, HTML </A>
        !            17:      ( <A HREF="asir2000/html-en/man/man_toc.html"> Table of contents </A> ).
        !            18: <li> <A HREF="asir2000/man-en.pdf"> English, PDF.  </A>
        !            19: </ul>
        !            20: <LI> OpenXM/Risa/Asir-contrib
        !            21: <ul>
        !            22: <li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> English, HTML </A>
        !            23: <!-- ( <A HREF="asir-contrib/ja/cman-html/cman-en_toc.html"> 目次 </A> ). -->
        !            24: <li> <A HREF="asir-contrib/ja/cman-en.pdf"> English, PDF. </A>
        !            25: <li> <A HREF="asir-contrib/en"> Asir-contrib document folder </A>
        !            26: </ul>
        !            27:
        !            28:
        !            29: <LI> Experimental functions (in Japanese)
        !            30: <ul>
        !            31: <li> <A HREF="asir2000/html-exp-ja/exp-ja/exp-ja.html"> Japanese, HTML. </A>
        !            32: </ul>
        !            33:
        !            34:
        !            35: <LI> Others
        !            36: <ul>
        !            37: <li> <a href="asir-contrib/index-doc-asir-contrib2-ja.html">
        !            38: introduction (in Japanse), ...  </a>
        !            39: <li> <a href="other-docs/"> os_muldif (in Japanese), ... </a> .
        !            40: </ul>
        !            41:
        !            42: <LI> Second quantifier elimination
        !            43: <ul>
        !            44: <li> <A HREF="../../Stable/numtr.pdf"> English, PDF </A>
        !            45: </ul>
        !            46: </OL>
        !            47:
        !            48: <h3> Documents for developpers </h3>
        !            49: <ol>
        !            50: <LI> Risa/Asir Journal
        !            51: <ul>
        !            52: <li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A>
        !            53: </ul>
        !            54:
        !            55: <LI> Internal structure of Asir
        !            56: <ul>
        !            57: <li> <A HREF="asir2000/html-internal-ja/internal.html"> Japanese, HTML </A>
        !            58: </ul>
        !            59:
        !            60: <li> Source code
        !            61: <ul>
        !            62: <li><a href="../index.html"> Download the source code </a>
        !            63: <li><a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">source code (cvsweb)</a>
        !            64: </ul>
        !            65: </ol>
        !            66:
        !            67: </body>
        !            68: </html>
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>