OpenXM (Open message eXchange for Mathematics)

=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.16 retrieving revision 1.47 diff -u -p -r1.16 -r1.47 --- OpenXM/doc/OpenXM-web/top.html 2007/10/16 02:46:07 1.16 +++ OpenXM/doc/OpenXM-web/top.html 2022/03/26 00:18:23 1.47 @@ -3,6 +3,8 @@ OpenXM (Open message eXchange for Mathematics) + + @@ -11,7 +13,9 @@ Download , Specifications , License , -cvsweb, + Video , +cvsweb, + Data archive , Top , @@ -25,20 +29,12 @@

The News

Debian package of opexm can be obtained from - here . - Please read Readme.txt in the directory. Note that the package openxm should - be updated explicitly (apt-get update will not work properly), i.e., -
```
-    dpkg --purge openxm
-    apt-get install openxm
-  
```
- (Aug 28, 2007)
- Known problems: (1) Please also check that /bin/sh is a symbolic link to /bin/bash. Otherwise installation will fail. (2) If gcc is not installed, please install it by "apt-get install gcc". -
New packages in asir-contrib: y_prime (prime number test, etc), -fj_curve (the dual graph of the resolution of singularity of curves), -nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005). -
InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) Download +
March 4, 2022. Debian package openxm-1.3.3-6 (network installer, 64bit) can be installed +by apt by adding our openxm repository to /etc/apt/sources.list. +See here as to details. +If you prefer to install by dpkg, please download the deb package from + here . +
A workaround of a segmentation fault of Risa/Asir on M1 Mac.
News Archive

@@ -74,22 +70,27 @@ the latest specifications.

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

Links and Archive

Risa/Asir (Kobe distribution) download (for unix, windows) +
Risa/Asir (Kobe distribution) download (for unix, windows, mac) [ Asir download]. +
Mathematical data/projects
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 1.2.2 [ 1.2.2 (May 13, 2003)].
OpenXM 1.2.3 [ 1.2.3 (February, 2005)]. +
OpenXM 1.2.3-10 [ 1.2.3-10 (February, 2008)]. +
OpenXM 1.2.3-12 [ 1.2.3-12 (February, 2009)]. +
ftp://ftp.math.kobe-u.ac.jp/pub/XXX no longer works. Use http://www.math.kobe-u.ac.jp/pub/XXX instead. +
See the news archive for the archive of debians packages.

@@ -115,8 +116,8 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"

-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.15 2007/08/28 06:16:54 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.46 2022/03/04 01:53:20 takayama Exp $

- \ No newline at end of file +