===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.4
retrieving revision 1.52
diff -u -p -r1.4 -r1.52
--- OpenXM/doc/OpenXM-web/index.html 2000/01/21 08:23:44 1.4
+++ OpenXM/doc/OpenXM-web/index.html 2002/09/25 12:00:20 1.52
@@ -1,105 +1,142 @@
+
-
-
OpenXM (Open message eXchange protocol for Mathematics)
+
+
+
+OpenXM (Open message eXchange for Mathematics)
+
+
+OpenXM (Open message eXchange for Mathematics):
+ http://www.openxm.org
- OpenXM (Open message eXchange protocol for Mathematics)
-
-Welcome to the home page of OpenXM.
-Last update is Jan 21, 2000.
-( THIS PAGE IS STILL UNDER CONSTRUCTION. Wait by Jan 24, 2000.)
+ NEW! RELEASE 1.2.2
-What is OpenXM? See a
- survey .
+Welcome to the home page of OpenXM.
+Last update is September 25, 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 .
+We have also started a project of
+
+ a digital and interactive mathematical formula book.
+
- 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) .
- OX tags
- [ OX tags ].
- CMO tags
- [ CMO tags ].
- SM commands
- [ SM commands ].
+Specifications (for 1.2.2)
- More documents
+
- 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.
+
+ OpenXM RFC's (OpenXM Request for Comments)
+
+ OX tags
+[OX tags ].
+ CMO tags
+[CMO tags ].
+ SM commands
+[SM commands ].
+
+ 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.
-
-
-
Source Distributions
+Source Distributions (RELEASE_1_2_2)
+
+ Version of 1.2.2 is available from
+our ftp site:
+[Source (Shift+Click) ].
+ Semi-HEAD branch is available from
+our ftp site:
+[Source (Shift+Click) ].
+
- Version 20000124
- [ Source ].
+
-
-
+Binary Distribution by tar+gzip (RELEASE_1_2_2)
+Binary .
+
+Binary Distribution by Packages (RELEASE_1_2_2)
+Packages .
+
+
+
-
Binaries
+ERRATA RELEASE_1_2_2
+ERRATA .
+
+Questions and Answers (in Enshlish) FAQ .
+
+Questions and Answers (in Japanese) FAQ .
+
+
+Papers and Tutorials
- FreeBSD 3.3
- [ FreeBSD 3.3 (Shift-Click) ].
+ The Design and Implementation of OpenXM-RFC 100 and 101
+[Survey ].
+
- Linux (glibc 5)
- [ Linux (glibc 5) (Shift-Click) ].
- Linux (glibc 6)
- [ Linux (glibc 6) (Shift-Click) ].
+The WWW interface for OpenXM CVS Repositry
+[cvsweb ]
+
- Installation Guide
- in English ,
- in Japanese ,
+References
+
+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 ].
- Papers and Tutorials
+Archive
-
- OpenXM --- an Open System to Integrate Mathematical Softwares
- [ Survey ].
-
+ OpenXM 1.1.1 (20000124) [ 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) ].
+ OpenXM 1.2.1 [ 1.2.1 (March 2, 2002) ].
-
-
-
-OpenXM CVS web (Access Restricted)
- [ cvsweb ]
-
-
-
-
References
+
- The primary distribution cite of asir [ Asir ].
+
-
+
takayama@math.sci.kobe-u.ac.jp
-
\ No newline at end of file
+
+