===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.3
retrieving revision 1.40
diff -u -p -r1.3 -r1.40
--- OpenXM/doc/OpenXM-web/top.html 2003/05/13 09:15:40 1.3
+++ OpenXM/doc/OpenXM-web/top.html 2021/03/29 08:03:43 1.40
@@ -6,6 +6,16 @@
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+ Video ,
+cvsweb,
+ Top ,
+
+
OpenXM (Open message eXchange for Mathematics):
@@ -16,21 +26,31 @@
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 openxm-1.3.3-4 (network installer, 64bit) can be installed
+by apt by adding our openxm repository to /etc/apt/sources.list.
+See here as to details.
+If you prefer to install by dpkg, please download the deb package from
+ here .
+ Please read readme-en.html
+ in the directory. Risa/Asir is upgraded to asir2018 from asir2000.
+ (March 29, 2021. openxm-1.3.3-4)
+
- 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.
@@ -49,30 +69,54 @@ the latest specifications.
The WWW interface for OpenXM CVS Repositry
-[cvsweb]
+[cvsweb]
Links and Archive
-- Risa/Asir (Kobe distribution) download (for unix, windows)
+
- Risa/Asir (Kobe distribution) download (for unix, windows, mac)
[
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)].
+
- ftp://ftp.math.kobe-u.ac.jp/pub/XXX no longer works. Use http://www.math.kobe-u.ac.jp/pub/XXX instead.
+
- See the news archive for the archive of debians packages.
+
+Citation
+If you like, you may use the following to cite our project.
+
+OpenXM, a project to integrate mathematical software systems, 1998--2005,
+http://www.openxm.org
+
+
+
+
+ Contact
+
+openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X" by ".")
+
+
+
+
+
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.2 2003/03/26 00:55:31 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.39 2019/06/12 23:02:37 takayama Exp $
-