=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.16 retrieving revision 1.53 diff -u -p -r1.16 -r1.53 --- OpenXM/doc/OpenXM-web/index.html 2000/01/28 07:34:55 1.16 +++ OpenXM/doc/OpenXM-web/index.html 2002/10/01 00:36:19 1.53 @@ -1,137 +1,139 @@ -OpenXM (Open message eXchange protocol for Mathematics) +OpenXM (Open message eXchange for Mathematics) -

OpenXM (Open message eXchange protocol for Mathematics)

+

OpenXM (Open message eXchange for Mathematics): + http://www.openxm.org

+ NEW! RELEASE 1.2.2 +

+ +

Welcome to the home page of OpenXM. -Last update is Jan 27, 2000 JST. +Last update is September 25, 2002, JST. +Japanese Page (experimental, for 1.1.3),

-What is OpenXM? See a -survey. +What is OpenXM? It is an infrastructure for mathematical +communication. +We propose standards for mathematical computation +(OpenXM-RFC's). We will also support OpenMath . +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: +functions 1, +functions 2, +Efficient computation. +We have also started a project of + + a digital and interactive mathematical formula book.

-

Specifications

+

Specifications (for 1.2.2)

    -
  1. Design and Implementation of OpenXM -(in English, PS), -(in English, HTML), -(in Japanese, PS), -(in Japanese, HTML). +
  2. + OpenXM RFC's (OpenXM Request for Comments) + -
  3. OX tags -[OX tags]. -
  4. CMO tags -[CMO tags]. -
  5. SM commands -[SM commands]. +
  6. OX tags +[OX tags]. +
  7. CMO tags +[CMO tags]. +
  8. SM commands +[SM commands]. -
  9. More documents +
  10. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, +OpenXM technical report series, etc) -
  11. If you want to add new tags, mail to -takayama@math.sci.kobe-u.ac.jp -with a description of the data types. +
  12. If you want to add a new OpenXM RFC, please mail to +takayama@math.kobe-u.ac.jp See the specification -how to describe the data types. +how to describe OpenXM RFC's.
-

Source Distributions (RELEASE_20000124)

+

Source Distributions (RELEASE_1_2_2)

    -
  1. OpenXM, OpenXM_contrib -[Source (Shift+Click)]. -
  2. OpenXM_contrib2 requires a source code license from -Fujitsu Lab. +
  3. Version of 1.2.2 is available from +our ftp site: +[Source (Shift+Click)]. +
  4. Semi-HEAD branch is available from +our ftp site: +[Source (Shift+Click)].
-

Binaries (RELEASE_20000124)

+

+ +Getting the latest version (HEAD branch) from anonymous CVS server

-
    -
  1. Installation Guide -in English, -in Japanese, +

    Binary Distribution by tar+gzip (RELEASE_1_2_2) +Binaries including experimental version +for Windows.. +

    -
  2. FreeBSD 3.3 -[FreeBSD 3.3 (Shift-Click)]. -This binary is generated on FreeBSD 3.3- RELEASE. -This binary does not contain math2ox and ox_math (binary files to support Mathematica). +

    Binary Distribution by Packages (RELEASE_1_2_2) +Packages.
    +

    -
  3. Linux (libc 5) -[Linux (libc 5) (Shift-Click) ]. -It is an EXPERIMENTAL BINARY DISTRIBUTION. There might be troubles on -shared libraries. -This binary does not contain math2ox and ox_math (binary files to support Mathematica). -This binary is genered on the following environment. -
    -Plamo Linux:
    -dc1:~$ ls /lib/libc[.-]*
    -/lib/libc.so.4@       /lib/libc.so.5@
    -/lib/libc.so.4.7.6*   /lib/libc.so.5.4.44*
    -dc1:~$ cc -v
    -Reading specs from /usr/lib/gcc-lib/i486-unknown-linux-gnulibc1/2.7.2.3/specs
    -gcc version 2.7.2.3
    -dc1:~$ uname -a
    -Linux dc1 2.0.33 #2 Fri May 22 01:36:59 JST 1998 i586 unknown
    -
    -
  4. Linux (libc 6) -[ Linux (glibc 2) (Shift-Click) ]. -It is an EXPERIMENTAL BINARY DISTRIBUTION. There may be a lot of troubles on -shared libraries. These will be fixed soon. -
    -This binary is generated on the following environment:
    -Vine Linux 1.1 with kernel 2.2.12 + autoconf-2.13-4
    -[water:ohara]/bin/ls /lib/libc[.-]*
    -/lib/libc-2.0.7.so  /lib/libc.so.6
    -[water:ohara]cc -v
    -Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/2.7.2.3/specs
    -gcc version 2.7.2.3
    -[water:ohara]uname -a
    -Linux water 2.2.12 #3 Wed Sep 29 20:27:22 JST 1999 i686 unknown
    -
    - -
  5. Linux (libc 6) -[ Linux (glibc 2) (Shift-Click) ]. -(Some of binaries are replaced by those genered on Debian 2.0.) -It is an EXPERIMENTAL BINARY DISTRIBUTION. There might be troubles on -shared libraries. - -
-

-ERRATA RELEASE_20000124 -ERRATA. +ERRATA RELEASE_1_2_2 +ERRATA. +
+Questions and Answers (in Enshlish) FAQ. +
+Questions and Answers (in Japanese) FAQ.

Papers and Tutorials

    -
  1. OpenXM --- an Open System to Integrate Mathematical Softwares -[Survey]. +
  2. The Design and Implementation of OpenXM-RFC 100 and 101 +[Survey].
-

OpenXM CVS web (Access Restricted) -[cvsweb] +

The WWW interface for OpenXM CVS Repositry +[cvsweb]

References

    -
  1. The primary distribution cite of asir [Asir]. +
  2. The primary distribution site of asir [Asir]. +
  3. Risa/Asir download page in English (for unix, windows) + [ + Asir download]. +
  4. An introductory book on a computer algebra system Risa/Asir (in Japanese) + [ Cover Page, ISBN4-87243-076-X ].
+ +

Archive

+
    +
  1. OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ]. +
  2. OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable]. +
  3. OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ]. +
  4. OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)]. +
+ + +

People

+
    + +
+
takayama@math.sci.kobe-u.ac.jp