| version 1.11, 2005/04/14 11:18:04 |
version 1.14, 2005/11/18 12:20:58 |
|
|
| <!-- |
<!-- |
| $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.13 2005/07/01 09:39:11 takayama Exp $ |
| --> |
--> |
| <html> |
<html> |
| <body> |
<body> |
| Line 10 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2 |
|
| Line 10 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2 |
|
| <a href="../index-spec.html"> Specifications </a>, |
<a href="../index-spec.html"> Specifications </a>, |
| <a href="index-license.html"> License </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/cgi/cvsweb.cgi/">cvsweb</a>, |
| |
<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html"> Top </a>, |
| |
|
| |
|
| <OL> |
<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/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-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/ja/cman-jp.ps"> in Japanese and PS. </A> |
| |
</ul> |
| |
|
| |
<li> |
| |
<a href="asir-contrib/index-doc-asir-contrib2-en.html"> |
| |
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> |
</ul> |
| |
|
| <LI> Inside Asir. |
<LI> Inside Asir. |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to index-doc.html CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-web