| version 1.12, 2005/04/15 00:50:54 |
version 1.14, 2005/11/18 12:20:58 |
|
|
| <!-- |
<!-- |
| $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2005/04/14 11:18:04 takayama 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 30 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2 |
|
| Line 30 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 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