<!--
$OpenXM: OpenXM/doc/OpenXM-web/index-doc-asir-en.html,v 1.1 2019/03/29 03:01:45 takayama Exp $
-->
<html>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<body>
<a href="google-ja.html">Search</a>,
<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index-ja.html"> OpenXM </a>,
<h3> User's manual</h3>
<OL>
<LI> Asir
<ul>
<li> <A HREF="asir2000/html-en/man/man.html"> English, HTML </A>
( <A HREF="asir2000/html-en/man/man_toc.html"> Table of contents </A> ).
<li> <A HREF="asir2000/man-en.pdf"> English, PDF. </A>
</ul>
<LI> OpenXM/Risa/Asir-contrib
<ul>
<li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> English, HTML </A>
<!-- ( <A HREF="asir-contrib/ja/cman-html/cman-en_toc.html"> 目次 </A> ). -->
<li> <A HREF="asir-contrib/ja/cman-en.pdf"> English, PDF. </A>
<li> <A HREF="asir-contrib/en"> Asir-contrib document folder </A>
</ul>
<LI> Experimental functions (in Japanese)
<ul>
<li> <A HREF="asir2000/html-exp-ja/exp-ja/exp-ja.html"> Japanese, HTML. </A>
</ul>
<LI> Others
<ul>
<li> <a href="asir-contrib/index-doc-asir-contrib2-ja.html">
introduction (in Japanse), ... </a>
<li> <a href="other-docs/"> os_muldif (in Japanese), ... </a> .
</ul>
<LI> Second quantifier elimination
<ul>
<li> <A HREF="../../Stable/numtr.pdf"> English, PDF </A>
</ul>
</OL>
<h3> Documents for developpers </h3>
<ol>
<LI> Risa/Asir Journal
<ul>
<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A>
</ul>
<LI> Internal structure of Asir
<ul>
<li> <A HREF="asir2000/html-internal-ja/internal.html"> Japanese, HTML </A>
</ul>
<li> Source code
<ul>
<li><a href="../index.html"> Download the source code </a>
<li><a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">source code (cvsweb)</a>
</ul>
</ol>
</body>
</html>