| version 1.10, 2004/06/27 18:03:39 |
version 1.15, 2008/01/30 02:47:28 |
|
|
| <!-- |
<!-- |
| $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 2004/06/20 10:00:20 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.14 2005/11/18 12:20:58 takayama Exp $ |
| --> |
--> |
| <html> |
<html> |
| <body> |
<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> Asir manual. |
<LI> Asir manual. |
| Line 14 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 20 |
|
| Line 24 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 20 |
|
| </ul> |
</ul> |
| <LI> OpenXM Risa/Asir-contrib manual. |
<LI> OpenXM Risa/Asir-contrib manual. |
| <ul> |
<ul> |
| <li> <A HREF="asir-contrib/html-en/cman-en_toc.html"> in English and HTML. </A> |
<li> <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> in English and HTML. </A> |
| <li> <A HREF="asir-contrib/html-ja/cman-ja_toc.html"> in Japanese 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/cman-en.dvi"> in English and dvi. </A> |
<li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A> |
| <li> <A HREF="asir-contrib/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/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/cman-jp.ps"> in Japanese and PS. </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> |
</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> |
| |
|
| <LI> Inside Asir. |
<LI> Inside Asir. |
| <ul> |
<ul> |
| <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A> |
<li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A> |
| Line 30 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 20 |
|
| Line 52 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 20 |
|
| <LI> Experimental Functions in Asir. |
<LI> Experimental Functions in Asir. |
| <ul> |
<ul> |
| <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A> |
<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> |
</ul> |
| |
|
| <LI> Introduction to kan/sm1. |
<LI> Introduction to kan/sm1. |
![[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