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

Diff for /OpenXM/doc/OpenXM-web/index-doc.html between version 1.8 and 1.16

version 1.8, 2003/03/25 11:30:10 version 1.16, 2009/02/15 01:51:11
Line 1 
Line 1 
 <!--  <!--
 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.7 2002/08/12 06:00:56 takayama Exp $  $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.15 2008/01/30 02:47:28 takayama Exp $
 -->  -->
 <html>  <html>
 <body>  <body>
   
   [<a href="index-doc-ja.html"> in Japanese </a>] <br>
   <a href="index-doc.html"> Documents </a>,
   <a href="../index.html"> Download </a>,
   <a href="../index-spec.html"> Specifications </a>,
   <a href="index-license.html"> License </a>,
   <a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
   <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html"> Top </a>,
   
   
 <OL>  <OL>
   
 <LI>  <LI> Asir manual.
 <ul>  <ul>
 <li> <A HREF="asir2000/html-eg/man_toc.html"> Asir manual in English and HTML </A>.  <li> <A HREF="asir2000/html-eg/man_toc.html"> in English and HTML. </A>
 <li> <A HREF="asir2000/html-jp/man_toc.html"> Asir manual in Japanese and HTML </A>.  <li> <A HREF="asir2000/html-jp/man_toc.html"> in Japanese and HTML. </A>
 <li> <A HREF="asir2000/man-eg.dvi"> Asir manual in English and dvi </A>.  <li> <A HREF="asir2000/man-eg.dvi"> in English and dvi. </A>
 <li> <A HREF="asir2000/man-jp.dvi"> Asir manual in Japanese and dvi </A>.  <li> <A HREF="asir2000/man-jp.dvi"> in Japanese and dvi. </A>
 </ul>  </ul>
 <LI>  <LI> OpenXM Risa/Asir-contrib manual.
 <ul>  <ul>
 <li> <A HREF="asir-contrib/html-en/cman-en_toc.html"> OpenXM/Risa/Asir-contrib manual in English and HTML </A>.  <li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> in English and HTML. </A>
 <li> <A HREF="asir-contrib/html-ja/cman-ja_toc.html"> OpenXM/Risa/Asir-contrib manual in Japanese and HTML </A>.  <li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> in Japanese and HTML. </A>
 <li> <A HREF="asir-contrib/cman-en.dvi"> OpenXM/Risa/Asir-contrib manual in English and dvi </A>.  <li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A>
 <li> <A HREF="asir-contrib/cman-en.ps"> OpenXM/Risa/Asir-contrib manual in English and PS </A>.  <li> <A HREF="asir-contrib/en/cman-en.ps">  in English and PS. </A>
 <li> <A HREF="asir-contrib/cman-ja.dvi"> OpenXM/Risa/Asir-contrib manual in Japanese and dvi </A>.  <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A>
 <li> <A HREF="asir-contrib/cman-jp.ps"> Asir contrib manual in Japanese and PS </A>.  <li> <A HREF="asir-contrib/ja/cman-jp.ps">  in Japanese and PS. </A>
   <li> <A HREF="asir-contrib/en">  The document folder of asir-contrib </A>
 </ul>  </ul>
   
 <LI>  <li>
 <A HREF="asir2000/html-internal-ja/internal_toc.html"> Inside Asir in HTML (Japanse) </A>.  <a href="asir-contrib/index-doc-asir-contrib2-en.html">
   OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials.
   </a>
   
 <LI>  <LI> Real Quadratic Quntifier Elimination in Risa/Asir.
 <ul>  <ul>
 <li><A HREF="kan96xx/intro.ps"> Introduction to kan/sm1 in English and PS </A>.  <li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A>
 <li> <A HREF="kan96xx/onlinehelp.ps"> Reference manual of kan/sm1 in English and PS </A>.  <li> <A HREF="../../Stable/numtr.eps"> in English, PS </A>
 <li><A HREF="kan96xx/ttt/index.html"> Introduction to kan/sm1 in English and in HTML </A>.  
 <li><A HREF="kan96xx/onlinehelp/index.html"> Reference manual of kan/sm1 in English and in HTML </A>.  
 </ul>  </ul>
   
 <LI>  <LI> Inside Asir.
 <ul>  <ul>
 <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi </A>.  <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A>
 <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi </A>.  </ul>
   
   <LI> Experimental Functions in Asir.
   <ul>
   <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A>
   </ul>
   
   <LI> Risa/Asir Journal
   <ul>
   <li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A>
   </ul>
   
   <LI> Introduction to kan/sm1.
   <ul>
   <li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A>
   <li><A HREF="kan96xx/intro.ps"> in English and PS. </A>
   </ul>
   
   <LI> Reference manual of kan/sm1.
   <ul>
   <li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A>
   <li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A>
   </ul>
   
   <LI> miscellaneous.
   <ul>
   <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A>
   <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A>
 </ul>  </ul>
 </OL>  </OL>
   
Legend:
Removed from v.1.8  
changed lines
  Added in v.1.16
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>