version 1.6, 2000/01/15 03:23:59 |
version 1.8, 2000/01/15 06:11:17 |
|
|
%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.5 2000/01/15 01:33:32 takayama Exp $ |
%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.7 2000/01/15 03:47:59 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 54 It is currently a collection of softwares |
|
Line 54 It is currently a collection of softwares |
|
{\tt OpenMath}/XML \cite{OpenMath} interpreter. |
{\tt OpenMath}/XML \cite{OpenMath} interpreter. |
These are wrapped with the \OpenXM stackmachine |
These are wrapped with the \OpenXM stackmachine |
to connect each other. |
to connect each other. |
{\it Availability}: The OpenXM package is obtainable from \cite{openxm-web} |
{\it Availability}: The OpenXM package is obtainable at \cite{openxm-web} |
from January 24, 2000. |
from January 24, 2000. |
\end{abstract} |
\end{abstract} |
|
|
Line 81 MP, OpenMath, OpenXM. |
|
Line 81 MP, OpenMath, OpenXM. |
|
|
|
\input{openxm-development-environment} |
\input{openxm-development-environment} |
|
|
\input{homogeneous-network} |
|
\input{heterotic-network} |
\input{heterotic-network} |
|
\input{homogeneous-network} |
|
|
\input{bib} |
\input{bib} |
\end{document} |
\end{document} |