version 1.1, 1999/12/23 10:25:08 |
version 1.9, 2000/01/15 12:18:42 |
|
|
%$OpenXM$ |
%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.8 2000/01/15 06:11:17 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/ |
|
|
%\documentclass{article} |
%\documentclass{article} |
%% \CopyrightText{\copyright 2000, } |
%% \CopyrightText{\copyright 2000, } |
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
|
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} |
\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 15, 2000} |
\title{OpenXM |
\title{OpenXM |
--- an Open System \\ to Integrate Mathematical Softwares} |
--- an Open System \\ to Integrate Mathematical Softwares} |
\author{\Author{Masahide Maekawa}\\ |
\author{\Author{Masahide Maekawa}\\ |
|
|
\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 |
to integrate various mathematical softwares. |
for interactive distributed computation and |
|
for integrating mathematical softwares. |
\OpenXM package is a set of softwares that supports \OpenXM protocols. |
\OpenXM package is a set of softwares that supports \OpenXM protocols. |
It is currently a collection of softwares |
It is currently a collection of softwares |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, |
{\tt Mathematica} interface, and |
{\tt Mathematica} interface, and |
{\tt OpenMath}/XML \cite{OpenMath}interface. |
{\tt OpenMath}/XML \cite{OpenMath} interpreter. |
More and more softwares are wrapped with the \OpenXM stackmachine; |
These are wrapped with the \OpenXM stackmachine |
they are getting a member of \OpenXM package. |
to connect each other. |
|
{\it Availability}: The OpenXM package is obtainable at \cite{openxm-web} |
|
from January 24, 2000. |
|
\end{abstract} |
|
|
|
\begin{keywords} |
|
Asir, |
|
IAMC, Interactive Distributed Computation, |
|
Integration of Mathematical Softwares, |
|
MP, OpenMath, OpenXM. |
|
\end{keywords} |
|
|
\section{Design Outline} (Takayama) |
%\section{Introduction} |
\include{design-outline} |
|
|
|
\section{Data Format} (Ohara) |
\input{design-outline} |
\include{data-format} |
|
|
|
\section{OpenXM Stackmachines} (Tamura) |
\input{ox-messages} |
\include{openxm-stackmacines} |
|
|
|
\section{Session Management} (Noryo) |
\input{data-format} |
\include{session-management} |
|
|
|
\section{OpenXM Clients} |
\input{openxm-stackmachines} |
\include{openxm-clients} |
|
|
|
\section{OpenXM Development Environment} (Maekawa) |
\input{session-management} |
\include{openxm-development-environment} |
|
|
|
\section{Applications} |
\input{openxm-clients} |
\subsection{Homogeneous Network} (Noro) |
|
\include{homogeneous-network} |
|
\subsection{Heterotic Network} (Takayama) |
|
\include{heterotic-network} |
|
|
|
\begin{thebibliography}{X} |
\input{openxm-development-environment} |
\bibitem{OpenMath} |
|
The OpenMath Esprit Consortium |
\input{heterotic-network} |
(Caprotti, O. and Cohen, A.M. Editors), |
\input{homogeneous-network} |
The OpenMath Standard. D1.3.2a (Public) \\ |
|
{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath}, |
\input{bib} |
February, 1999. |
|
\bibitem{GKW} |
|
Gray, S., Kajler, N. and Wang, P. S., |
|
Design and Implementation of MP, a Protocol for Efficient |
|
Exchange of Mathematical Expressions, |
|
{\sl Journal of Symbolic Computation}, 19??. |
|
\bibitem{gap} |
|
Linton, S. and Solomon, A., |
|
OpenMath, IAMC and {\tt GAP}, |
|
preprint, 1999. |
|
\bibitem{asir} |
|
Noro, T. et al., |
|
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995\\ |
|
{\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
|
\bibitem{NT} |
|
Noro, M and Takayama, N., Design and Implementation |
|
of OpenXM, (in Japanese) 1996, 1997, 1998, 1999. |
|
\bibitem{kan} |
|
Takayama, N., |
|
{\em Kan: A system for computation in |
|
algebraic analysis,} 1991 version 1, |
|
1994 version 2, the latest version is 2.991106. |
|
Source code available for Unix computers. |
|
Contact the author, or download from \\ |
|
{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. |
|
See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/} |
|
\bibitem{phc} |
|
Verschelde, J., |
|
PHCpack: A general-purpose solver for polynomial systems by |
|
homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) |
|
251-276, 1999. |
|
\bibitem{iamc} |
|
Wang, P., |
|
Design and Protocol for Internet Accessible Mathematical Computation. |
|
Technical Report ICM-199901-001, ICM/Kent State University, 1999. |
|
\end{thebibliography} |
|
\end{document} |
\end{document} |
\endinput |
\endinput |
%% |
%% |