=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.9 retrieving revision 1.36 diff -u -p -r1.9 -r1.36 --- OpenXM/doc/OpenXM-web/index.html 2000/01/24 07:49:22 1.9 +++ OpenXM/doc/OpenXM-web/index.html 2000/10/20 09:08:33 1.36 @@ -1,7 +1,7 @@ @@ -9,38 +9,47 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.8 2000/0 OpenXM (Open message eXchange protocol for Mathematics) -

OpenXM (Open message eXchange protocol for Mathematics)

+

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

Welcome to the home page of OpenXM. -Last update is Jan 24, 2000. -( THIS PAGE IS STILL UNDER CONSTRUCTION. Wait by Jan 25, 2000 JST.) +Last update is October 20, 2000 JST. +Japanese Page (experimental),

-What is OpenXM? See a -survey. +What is OpenXM? It is an infrastructure for mathematical +communication. (it is not XML, but it can be described by XML.) +It is an experiment 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.

-

Specifications

+

Specifications (Draft for 1.1.3)

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

Source Distributions

+

Source Distributions (RELEASE_1_1_3)

    -
  1. Version 20000124 -[Source]. +
  2. Version of 1.1.3 is available from +our ftp cite: +[Source (Shift+Click)].
-

Binaries

+

Binary Distribution by tar+gzip (RELEASE_1_1_3) +Binary. +

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

    Binary Distribution by Packages (RELEASE_1_1_3) +Packages.
    +

    -
  2. FreeBSD 3.3 -[FreeBSD 3.3 (Shift-Click)]. -
  3. Linux (glibc 5) -[Linux (glibc 5) (Shift-Click)]. - -
  4. Linux (glibc 6) -[Linux (glibc 6) (Shift-Click)]. -
-

-ERRATA Version 20000124 -ERRATA. +ERRATA RELEASE_1_1_3 +ERRATA. +
+Questions and Answers (in Enshlish) FAQ. +
+Questions and Answers (in Japanese) FAQ.

Papers and Tutorials

@@ -85,14 +91,28 @@ ERRATA Version 20000124 -

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

The WWW interface for OpenXM CVS Repositry +[cvsweb]

References

  1. The primary distribution cite of asir [Asir]. +
  2. 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), Current]. +
+ +

What's new in 1.1.3?

+
    + Not written yet.