===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.2
retrieving revision 1.17
diff -u -p -r1.2 -r1.17
--- OpenXM/doc/OpenXM-web/top.html 2003/03/26 00:55:31 1.2
+++ OpenXM/doc/OpenXM-web/top.html 2008/01/30 02:47:28 1.17
@@ -6,6 +6,15 @@
</head>
<body bgcolor=#ffffff text=#000000>
+[<a href="index-ja.html"> in Japanese </a>] <br>
+<a href="Current/doc/index-doc.html"> Documents </a>,
+<a href="Current/index.html"> Download </a>,
+<a href="Current/index-spec.html"> Specifications </a>,
+<a href="Current/doc/index-license.html"> License </a>,
+<a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
+<a href="index.html"> Top </a>,
+
+
<center>
<h1> <img src="Stable/logo-openxm2.jpg"/>
OpenXM (Open message eXchange for Mathematics):
@@ -16,21 +25,39 @@
<h2> The News </h2>
<ul>
-<li> OpenXM formula book project:
-<a href="http://www.math.kobe-u.ac.jp/OCD/index.html">
- a digital formula book for generalized hypergeometric functions </a>
-<li> Version 1.2.2 will be ready soon.
+<li> Debian package of opexm can be obtained from
+ <a href="http://fe.math.kobe-u.ac.jp/KnoppixMath"> here </a>.
+ Please read Readme.txt in the directory. Note that the package openxm should
+ be updated explicitly (apt-get update will not work properly), i.e.,
+ <pre>
+ dpkg --purge openxm
+ apt-get install openxm
+ </pre>
+ (Jan 30, 2008) <br>
+ Known problems: (1) If gcc is not installed, please install it by "apt-get install gcc". It is not written in dependency.
+<li> New packages in asir-contrib: taji_alc (algebraic local cohomology in 1 variables), f_res (resultants). Try ox_grep("taji_alc") or ox_grep("f_res"); [documents are in Japanese only]
+(Jan 30, 2008)
+<li> New packages in asir-contrib: y_prime (prime number test, etc),
+fj_curve (the dual graph of the resolution of singularity of curves),
+nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005).
+<li> InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) <a href="http://www.inftyproject.org/calc"> Download </a>
+<li> <a href="news-o.html"> News Archive </a>
</ul>
<h2> What is OpenXM? </h2>
It is an infrastructure for mathematical
communication.
We propose standards for mathematical computation
-(OpenXM-RFC's). We will also support <a href="http://www.openmath.org"> OpenMath </a>.
+(OpenXM-RFC's).
+We will also support <a href="http://www.openmath.org"> OpenMath </a>
+which works for the standardization of mathematical data.
The project is also making experiments to connect mathematical
software systems each other on the infrastructure.
We are providing packages of mathematical software systems
-supporting the OpenXM protocol. Here is a quick tour of the OpenXM package:
+supporting the OpenXM protocol.
+Please view <a href="index-shot.html"> screenshots </a>
+of OpenXM packages.
+Here is a quick tour of the OpenXM package:
<a href="Stable/html/OpenXM-poster/func1/index.html">functions 1</a>,
<a href="Stable/html/OpenXM-poster/func2/index.html">functions 2</a>,
<a href="Stable/html/OpenXM-poster/efficient/index.html">Efficient computation</a>.
@@ -63,14 +90,34 @@ the latest specifications.
<li>OpenXM 1.1.2 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.2/index.html"> 1.1.2 (March 20, 2000) Stable</a>].
<li>OpenXM 1.1.3 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/index.html"> 1.1.3 (September 26, 2000) </a>].
<li>OpenXM 1.2.1 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.1/index.html"> 1.2.1 (March 2, 2002)</a>].
+<li>OpenXM 1.2.2 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.2/index.html"> 1.2.2 (May 13, 2003)</a>].
+<li>OpenXM 1.2.3 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.3/index.html"> 1.2.3 (February, 2005)</a>].
</ul>
<h2><A HREF="people.html"> People </A> </h2>
+
+<h2>Citation</h2>
+If you like, you may use the following to cite our project. <br>
+<pre>
+OpenXM, a project to integrate mathematical software systems, 1998--2005,
+http://www.openxm.org
+</pre>
+
+
<img src="Stable/logo-openxm_simple0.jpg"/>
+
+<h4> Contact
+</h4>
+openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X" by ".")
+
+
+
+
+
<pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.1 2003/03/25 07:56:11 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.16 2007/10/16 02:46:07 takayama Exp $
</pre>
</BODY>