===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.8
retrieving revision 1.29
diff -u -p -r1.8 -r1.29
--- OpenXM/doc/OpenXM-web/top.html 2005/02/10 23:22:43 1.8
+++ OpenXM/doc/OpenXM-web/top.html 2012/05/15 05:39:45 1.29
@@ -6,6 +6,16 @@
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+ Video ,
+cvsweb,
+ Top ,
+
+
OpenXM (Open message eXchange for Mathematics):
@@ -16,24 +26,29 @@
The News
What is OpenXM?
It is an infrastructure for mathematical
communication.
We propose standards for mathematical computation
-(OpenXM-RFC's). We will also support OpenMath .
+(OpenXM-RFC's).
+We will also support OpenMath
+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 screenshots
+of OpenXM packages.
+Here is a quick tour of the OpenXM package:
functions 1,
functions 2,
Efficient computation.
@@ -62,12 +77,15 @@ the latest specifications.
Risa/Asir (Kobe distribution) download (for unix, windows)
[
Asir download].
+ Mathematical data/projects
OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable].
OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ].
OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)].
OpenXM 1.2.2 [ 1.2.2 (May 13, 2003)].
OpenXM 1.2.3 [ 1.2.3 (February, 2005)].
+OpenXM 1.2.3-10 [ 1.2.3-10 (February, 2008)].
+OpenXM 1.2.3-12 [ 1.2.3-12 (February, 2009)].
@@ -84,9 +102,17 @@ http://www.openxm.org
+ Contact
+
+openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X" by ".")
+
+
+
+
+
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.7 2005/02/10 12:56:36 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.28 2011/06/27 07:04:47 takayama Exp $
-