=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.51 retrieving revision 1.76 diff -u -p -r1.51 -r1.76 --- OpenXM/doc/OpenXM-web/index.html 2002/08/23 08:35:03 1.51 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76 @@ -1,133 +1,95 @@ - + OpenXM (Open message eXchange for Mathematics) - -

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

+ -

- NEW! RELEASE 1.2.2 -

+[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, +Top, -

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

+

OpenXM HEAD

-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. +Welcome to the home page of OpenXM-HEAD

-

Specifications (for 1.2.2)

+

Source Distribution (Download)

+
    +
  1. HEAD branch is available from our web site: +[Source (Shift+Click)]. +
  2. A snapshot of the head branch can be obtainable from + here . +It is updated everyday. +
-
  • - OpenXM RFC's (OpenXM Request for Comments) - + -
  • OX tags -[OX tags]. -
  • CMO tags -[CMO tags]. -
  • SM commands -[SM commands]. +

    Debian package for amd64

    +
      +
    1. Add the file fe-deb2.list of which contents are +
      +deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ unstable/
+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+
      +under /etc/apt/sources.list.d
+
    2.  Add our gpg public key to your system.
+The key is at 
+   http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg 
+Copy this file to /usr/share/keyrings by
+
      +sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
+
      
+
    3. 
+
      +    sudo apt update
+    sudo apt install openxm
+
      
+
    -
  • Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, -OpenXM technical report series, etc) -
  • If you want to add a new OpenXM RFC, please mail to -takayama@math.kobe-u.ac.jp -See the specification -how to describe OpenXM RFC's. - +The following commands execute the above instruction. +
    +sudo wget -O /etc/apt/sources.list.d/fe-deb2.list http://www.math.kobe-u.ac.jp/deb2/fe-deb2.list
+sudo wget -O /usr/share/keyrings/fe-deb2-archive-keyring.gpg  http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+sudo apt update
+sudo apt install openxm
+
    -

    Source Distributions (RELEASE_1_2_2)

    - -
      -
    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: -[Source (Shift+Click)]. -
    -

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

    - -

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

    -

    Binary Distribution by Packages (RELEASE_1_2_2) -Packages.
    -

    - - -

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

    Links

    -

    The WWW interface for OpenXM CVS Repositry -[cvsweb] -

    - -

    References

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

    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

    -
      -