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

Return to index-doc.html CVS log

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

version 1.11, 2005/04/14 11:18:04

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

Line 1

<!--

$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2004/06/27 18:03:39 ohara Exp $

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

-->

<html>

<body>

Line 10 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2

<a href="../index-spec.html"> Specifications </a>,

<a href="index-license.html"> License </a>,

<OL>

Line 29 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2

Line 30 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 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>

<li> <A HREF="../../Stable/numtr.eps"> in English, PS </A>

</ul>

<LI> Inside Asir.

<ul>

<li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A>

Line 39 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2

Line 52 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 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.