=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.50 retrieving revision 1.62 diff -u -p -r1.50 -r1.62 --- OpenXM/doc/OpenXM-web/index.html 2002/08/12 06:00:56 1.50 +++ OpenXM/doc/OpenXM-web/index.html 2005/02/10 13:02:55 1.62 @@ -1,44 +1,22 @@ OpenXM (Open message eXchange for Mathematics) - -

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

+ +

OpenXM HEAD

- NEW! RELEASE 1.2.2 +Welcome to the home page of OpenXM-HEAD

-

-Welcome to the home page of OpenXM. -Last update is March 2, 2002, JST. -Japanese Page (experimental, for 1.1.3), -

+

Specifications

-

-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. -

- - -

Specifications (for 1.2.2)

-
  1. @@ -46,14 +24,12 @@ supporting the OpenXM protocol. Here is a quick tour o
  2. OX tags -[OX tags]. +[OX tags].
  3. CMO tags -[CMO tags]. +[CMO tags].
  4. SM commands -[SM commands]. +[SM commands]. -
  5. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, -OpenXM technical report series, etc)
  6. If you want to add a new OpenXM RFC, please mail to takayama@math.kobe-u.ac.jp @@ -61,72 +37,57 @@ See the specification how to describe OpenXM RFC's.
-

Source Distributions (RELEASE_1_2_2)

+

Documents of OpenXM package

+
    +
  1. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, etc) +
+ +

Source Distribution (Download)

+
    -
  1. Version of 1.2.2 is available from -our ftp site: -[Source (Shift+Click)]. -
  2. Semi-HEAD branch is available from -our ftp site: +
  3. OpenXM 1.2.3 +[Source (Shift+Click)]. +
  4. Semi-HEAD branch is available from our ftp site: [Source (Shift+Click)].
-

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

+ -

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

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

-

Binary Distribution by Packages (RELEASE_1_2_2) -Packages.
+

+ERRATA.

- -

-ERRATA RELEASE_1_2_2 -ERRATA. +

FAQ

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

+Questions and Answers (in Japanese) FAQ. -

Papers and Tutorials

-
    -
  1. The Design and Implementation of OpenXM-RFC 100 and 101 -[Survey]. -
-

The WWW interface for OpenXM CVS Repositry [cvsweb]

-

References

+

Links

    -
  1. The primary distribution site of asir [Asir]. -
  2. Risa/Asir download page in English (for unix, windows) - [ +
  3. Risa/Asir home page at Ehime [Asir]. +
  4. Risa/Asir (Kobe distribution) download page (for unix and windows) + [ Asir download]. -
  5. 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

-

People

-