[BACK]Return to index-doc-asir-en.html CVS log [TXT][DIR] Up to [local] / OpenXM / doc / OpenXM-web
File: [local] / OpenXM / doc / OpenXM-web / index-doc-asir-en.html (download) (as text)

Revision 1.1, Fri Mar 29 03:01:45 2019 UTC (5 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: HEAD 

English page for index-doc-asir-ja.html

<!--
$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>