OpenXM (Open message eXchange for Mathematics)

=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.17 retrieving revision 1.48 diff -u -p -r1.17 -r1.48 --- OpenXM/doc/OpenXM-web/top.html 2008/01/30 02:47:28 1.17 +++ OpenXM/doc/OpenXM-web/top.html 2022/03/28 10:37:48 1.48 @@ -3,6 +3,8 @@ OpenXM (Open message eXchange for Mathematics) + + @@ -11,7 +13,9 @@ Download , Specifications , License , -cvsweb, + Video , +cvsweb, + Data archive , Top , @@ -25,22 +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
-  
```
- (Jan 30, 2008)
- Known problems: (1) If gcc is not installed, please install it by "apt-get install gcc". It is not written in dependency. -
New packages in asir-contrib: taji_alc (algebraic local cohomology in 1 variables), f_res (resultants). Try ox_grep("taji_alc") or ox_grep("f_res"); [documents are in Japanese only] -(Jan 30, 2008) -
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.d. +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

@@ -76,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.

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

-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.16 2007/10/16 02:46:07 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.47 2022/03/26 00:18:23 takayama Exp $

- \ No newline at end of file +