=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.33 retrieving revision 1.52 diff -u -p -r1.33 -r1.52 --- OpenXM/doc/OpenXM-web/index.html 2000/09/23 12:46:50 1.33 +++ OpenXM/doc/OpenXM-web/index.html 2002/09/25 12:00:20 1.52 @@ -1,115 +1,106 @@ -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 September 23, 2000 JST. +Last update is September 25, 2002, JST. +Japanese Page (experimental, for 1.1.3),

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. +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. +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. More documents -
  7. If you want to add new tags, mail to -takayama@math.sci.kobe-u.ac.jp -with a description of the data types. -See the specification -how to describe the data types. -
- - -

New Specifications (Draft for 1.1.3)

- -
    - -
  1. Design and Implementation of OpenXM -(in English, PS), -(in English, HTML), -(in Japanese, PS), -(in Japanese, HTML). -
  2. OX tags -[OX tags]. +[OX tags].
  3. CMO tags -[CMO tags]. +[CMO tags].
  4. SM commands -[SM commands]. +[SM commands]. -
  5. More documents +
  6. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, +OpenXM technical report series, etc) -
  7. If you want to add new tags, mail to -takayama@math.sci.kobe-u.ac.jp -with a description of the data types. +
  8. 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_1_1_3)

+

Source Distributions (RELEASE_1_2_2)

    -
  1. The alpha test version of 1.1.3 is available from -our ftp cite: -[Source (Shift+Click)]. +
  2. Version of 1.2.2 is available from +our ftp site: +[Source (Shift+Click)]. +
  3. Semi-HEAD branch is available from +our ftp site: +[Source (Shift+Click)].
-

Binary Distribution by tar+gzip (RELEASE_1_1_2) -Binary. +

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

+ +

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

-

Binary Distribution by Packages (RELEASE_1_1_2) -Packages.
+

Binary Distribution by Packages (RELEASE_1_2_2) +Packages.

-ERRATA RELEASE_1_1_2 -ERRATA. +ERRATA RELEASE_1_2_2 +ERRATA.
-Questions and Answers (some are in Japanese) FAQ. +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].
@@ -120,7 +111,10 @@ Questions and Answers (some are in Japanese) Asir]. +
  • The primary distribution site of asir [Asir]. +
  • Risa/Asir download page in English (for unix, windows) + [ + Asir download].
  • An introductory book on a computer algebra system Risa/Asir (in Japanese) [ Cover Page, ISBN4-87243-076-X ]. @@ -129,13 +123,16 @@ Questions and Answers (some are in Japanese) 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), Current]. +
  • OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ]. +
  • OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)]. -

    What's new in 1.1.3?

    + +

    People

      - Not written yet. +
    +
    takayama@math.sci.kobe-u.ac.jp