version 1.1, 2001/06/19 07:32:58 |
version 1.3, 2001/06/20 05:42:47 |
|
|
%$OpenXM$ |
%$OpenXM: OpenXM/doc/ascm2001p/ascm2001.tex,v 1.2 2001/06/20 02:40:09 takayama Exp $ |
%% You need acmconf.cls and flushend.sty to compile this file. |
%% You need acmconf.cls and flushend.sty to compile this file. |
%% They may be obtained from |
%% They may be obtained from |
%% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ |
%% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ |
Line 55 It is currently a collection of software systems |
|
Line 55 It is currently a collection of software systems |
|
{\tt OpenMath}/XML \cite{OpenMath} translator. |
{\tt OpenMath}/XML \cite{OpenMath} translator. |
These are wrapped with the \OpenXM stack machine |
These are wrapped with the \OpenXM stack machine |
to connect each other. |
to connect each other. |
{\it Availability}: The OpenXM package and OpenXM-RFC's |
{\it Availability}: The OpenXM package\cite{openxm-web} and |
have been obtainable at \cite{openxm-web} |
OpenXM-RFC's\cite{openxm-web} have been obtainable |
from January 24, 2000.} |
from January 24, 2000.} |
|
|
%\begin{keywords} |
%\begin{keywords} |