OpenXM/doc/OpenXM-web/index-doc.html - diff

Return to index-doc.html CVS log

Up to [local] / OpenXM / doc / OpenXM-web

version 1.13, 2005/07/01 09:39:11

version 1.15, 2008/01/30 02:47:28

Line 1

<!--

$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.12 2005/04/15 00:50:54 takayama Exp $

$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.14 2005/11/18 12:20:58 takayama Exp $

-->

<html>

<body>

Line 30 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.12 2

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

<li> <A HREF="asir-contrib/en"> The document folder of asir-contrib </A>

</ul>

<li>

OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials.

</a>

<LI> Real Quadratic Quntifier Elimination in Risa/Asir.

<ul>

<li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A>

Line 46 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.12 2

Line 52 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.12 2

<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.