OpenXM (Open message eXchange for Mathematics):


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

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

  1. OpenXM RFC's (OpenXM Request for Comments)
  2. OX tags [OX tags].
  3. CMO tags [CMO tags].
  4. 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 See the specification how to describe OpenXM RFC's.

Source Distributions (RELEASE_1_2_1)

  1. Version of 1.2.1 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_1) Binary.

Binary Distribution by Packages (RELEASE_1_2_1) Packages.

Questions and Answers (in Enshlish) 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]


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


  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), Current].