version 1.2, 2000/01/02 07:32:12 |
version 1.3, 2000/01/03 04:27:52 |
|
|
%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.1 1999/12/23 10:25:08 takayama Exp $ |
%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.2 2000/01/02 07:32:12 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/ |
|
|
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} |
\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} |
\ConferenceShortName{ISSAC2000} |
\ConferenceShortName{ISSAC2000} |
\def\OpenXM{{\tt OpenXM\ }} |
\def\OpenXM{{\rm OpenXM\ }} |
|
|
\begin{document} |
\begin{document} |
\date{January 16, 2000} |
\date{January 16, 2000} |
|
|
\maketitle |
\maketitle |
|
|
\begin{abstract} |
\begin{abstract} |
This is an abstract. |
|
\end{abstract} |
|
|
|
\begin{keywords} |
|
OpenMath, MP, OpenXM. |
|
\end{keywords} |
|
|
|
\section{Introduction} |
|
\OpenXM is a free, or Open Source, infrastructure for mathematical |
\OpenXM is a free, or Open Source, infrastructure for mathematical |
softwares. |
softwares. |
It provides methods and protocols |
It provides methods and protocols |
Line 61 It is currently a collection of softwares |
|
Line 53 It is currently a collection of softwares |
|
More and more softwares are wrapped with the \OpenXM stackmachine; |
More and more softwares are wrapped with the \OpenXM stackmachine; |
they are getting a member of \OpenXM package. \\ |
they are getting a member of \OpenXM package. \\ |
{\it Availability}: The OpenXM package is obtainable from \cite{openxm-web}. |
{\it Availability}: The OpenXM package is obtainable from \cite{openxm-web}. |
|
\end{abstract} |
|
|
|
\begin{keywords} |
|
Asir, |
|
IAMC, Interactive Distributed Computation, |
|
Integration of Mathematical Softwares, |
|
MP, OpenMath, OpenXM. |
|
\end{keywords} |
|
|
|
%\section{Introduction} |
|
|
\input{design-outline} |
\input{design-outline} |
|
|