| version 1.7, 2002/08/12 06:00:56 | 
version 1.14, 2005/11/18 12:20:58 | 
 | 
 | 
|  <!-- | 
 <!-- | 
|  $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.6 2001/08/12 07:44:33 takayama Exp $ | 
 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.13 2005/07/01 09:39:11 takayama Exp $ | 
|  --> | 
 --> | 
|   | 
 <html> | 
|   | 
 <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. | 
|  <A HREF="asir2000/html-eg/man_toc.html"> Asir manual in English and HTML </A>. | 
 <ul> | 
|  <A HREF="asir2000/html-jp/man_toc.html"> Asir manual in Japanese and HTML </A>. | 
 <li> <A HREF="asir2000/html-eg/man_toc.html"> in English and HTML. </A> | 
|  <A HREF="asir2000/man-eg.dvi"> Asir manual in English and dvi </A>. | 
 <li> <A HREF="asir2000/html-jp/man_toc.html"> in Japanese and HTML. </A> | 
|  <A HREF="asir2000/man-jp.dvi"> Asir manual in Japanese and dvi </A>. | 
 <li> <A HREF="asir2000/man-eg.dvi"> in English and dvi. </A> | 
|   | 
 <li> <A HREF="asir2000/man-jp.dvi"> in Japanese and dvi. </A> | 
|   | 
 </ul> | 
|   | 
 <LI> OpenXM Risa/Asir-contrib manual. | 
|   | 
 <ul> | 
|   | 
 <li> <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> in English and HTML. </A> | 
|   | 
 <li> <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> in Japanese and HTML. </A> | 
|   | 
 <li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A> | 
|   | 
 <li> <A HREF="asir-contrib/en/cman-en.ps">  in English and PS. </A> | 
|   | 
 <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A> | 
|   | 
 <li> <A HREF="asir-contrib/ja/cman-jp.ps">  in Japanese and PS. </A> | 
|   | 
 </ul> | 
|   | 
  | 
|  <LI> | 
 <li> | 
|  <A HREF="asir-contrib/html-en/cman-en_toc.html"> OpenXM/Risa/Asir-contrib manual in English and HTML </A>. | 
 <a href="asir-contrib/index-doc-asir-contrib2-en.html"> | 
|  <A HREF="asir-contrib/html-ja/cman-ja_toc.html"> OpenXM/Risa/Asir-contrib manual in Japanese and HTML </A>. | 
 OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. | 
|  <A HREF="asir-contrib/cman-en.dvi"> OpenXM/Risa/Asir-contrib manual in English and dvi </A>. | 
 </a> | 
|  <A HREF="asir-contrib/cman-en.ps"> OpenXM/Risa/Asir-contrib manual in English and PS </A>. | 
  | 
|  <A HREF="asir-contrib/cman-ja.dvi"> OpenXM/Risa/Asir-contrib manual in Japanese and dvi </A>. | 
  | 
|  <A HREF="asir-contrib/cman-jp.ps"> Asir contrib manual in Japanese and PS </A>. | 
  | 
|   | 
  | 
|  <LI> | 
 <LI> Real Quadratic Quntifier Elimination in Risa/Asir. | 
|  <A HREF="asir2000/html-internal-ja/internal_toc.html"> Inside Asir in HTML (Japanse) </A>. | 
 <ul> | 
|   | 
 <li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A> | 
|   | 
 <li> <A HREF="../../Stable/numtr.eps"> in English, PS </A> | 
|   | 
 </ul> | 
|   | 
  | 
|  <LI> | 
 <LI> Inside Asir. | 
|  <A HREF="kan96xx/intro.ps"> Introduction to kan/sm1 in English and PS </A>. | 
 <ul> | 
|  <A HREF="kan96xx/onlinehelp.ps"> Reference manual of kan/sm1 in English and PS </A>. | 
 <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A> | 
|  <A HREF="kan96xx/ttt/index.html"> Introduction to kan/sm1 in English and in HTML </A>. | 
 </ul> | 
|  <A HREF="kan96xx/onlinehelp/index.html"> Reference manual of kan/sm1 in English and in HTML </A>. | 
  | 
|   | 
  | 
|  <LI> | 
 <LI> Experimental Functions in Asir. | 
|  <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi </A>. | 
 <ul> | 
|  <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi </A>. | 
 <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A> | 
|   | 
 </ul> | 
|   | 
  | 
|  <LI> | 
 <LI> Introduction to kan/sm1. | 
|  <A HREF="pari/users.dvi"> Pari users manual in English and dvi </A>. | 
 <ul> | 
|  <A HREF="pari/tutorial.dvi"> Pari Tutorial in English and dvi </A>. | 
 <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> | 
|   | 
  | 
|  </OL> | 
 <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> | 
|   | 
  | 
|  <BR> | 
 <LI> miscellaneous. | 
|  <BR> | 
 <ul> | 
|  <center>  OpenXM Technical Report Series </center> | 
 <li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A> | 
|  <OL> | 
 <li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A> | 
|  <LI> | 
 </ul> | 
|   <A HREF="report/1/rep_toc.html"> 1. Performance Evaluation of Java | 
  | 
|    for mathematical computation (in preparation) </A> | 
  | 
|  </OL> | 
 </OL> | 
|   | 
  | 
|   | 
 </body> | 
|   | 
 </html> | 
|   | 
  |