=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.4 retrieving revision 1.20 diff -u -p -r1.4 -r1.20 --- OpenXM/doc/OpenXM-web/top.html 2003/10/15 01:34:45 1.4 +++ OpenXM/doc/OpenXM-web/top.html 2009/02/24 01:33:52 1.20 @@ -6,6 +6,15 @@ +[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, + Top , + +

OpenXM (Open message eXchange for Mathematics): @@ -16,21 +25,36 @@

The News

OpenXM formula book project: - - a digital formula book for generalized hypergeometric functions -
Version 1.2.2 is ready (May 13,2003) +
Debian package of openxm-1-2.3-12 can be obtained from + here . + Please read readme-en.html in the directory. Note that the package openxm should + be updated explicitly (apt-get update will not work properly), i.e., +
```
+    dpkg --purge openxm
+    apt-get install openxm
+  
```
+ (Feb 24, 2009. openxm-1.2.3-12)
+ In order to install the TeXmacs interface to the user directory, do +
```
+    cp -r /root/.TeXmacs  ~/.
+  
```
+
News Archive

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. @@ -59,11 +83,14 @@ 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)]. @@ -72,7 +99,7 @@ the latest specifications.

Citation

If you like, you may use the following to cite our project.

-OpenXM, a project to integrate mathematical software systems, 1998--2003, 
+OpenXM, a project to integrate mathematical software systems, 1998--2005, 
 http://www.openxm.org

@@ -80,8 +107,16 @@ http://www.openxm.org

Contact +

+openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X" by ".") + + + + +

-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.3 2003/05/13 09:15:40 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.19 2009/02/15 22:18:01 takayama Exp $