===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/issac2000.tex,v
retrieving revision 1.1
retrieving revision 1.6
diff -u -p -r1.1 -r1.6
--- OpenXM/doc/issac2000/issac2000.tex	1999/12/23 10:25:08	1.1
+++ OpenXM/doc/issac2000/issac2000.tex	2000/01/15 03:23:59	1.6
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.5 2000/01/15 01:33:32 takayama Exp $
 %% You need acmconf.cls and flushend.sty to compile this file.
 %% They may be obtained from 
 %%  http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/
@@ -6,12 +6,13 @@
 %\documentclass{article}
 %% \CopyrightText{\copyright 2000, }
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
+\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
 \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
 \ConferenceShortName{ISSAC2000}
-\def\OpenXM{{\tt OpenXM\ }}
+\def\OpenXM{{\rm OpenXM\ }}
 
 \begin{document}
-\date{January 16, 2000}
+\date{January 15, 2000}
 \title{OpenXM 
       --- an Open System \\ to Integrate Mathematical Softwares}
 \author{\Author{Masahide Maekawa}\\
@@ -41,93 +42,49 @@
 \maketitle
 
 \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
 softwares.
 It provides methods and protocols 
-to integrate various mathematical softwares.
+for interactive distributed computation and
+to integrate mathematical softwares.
 \OpenXM package is a set of softwares that supports \OpenXM protocols.
 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 Mathematica} interface, and
-{\tt OpenMath}/XML \cite{OpenMath}interface. 
-More and more softwares are wrapped with the \OpenXM stackmachine;
-they are getting a member of \OpenXM package.
+{\tt OpenMath}/XML \cite{OpenMath} interpreter.
+These are wrapped with the \OpenXM stackmachine
+to connect each other.
+{\it Availability}: The OpenXM package is obtainable from \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)
-\include{design-outline}
+%\section{Introduction}
 
-\section{Data Format} (Ohara)
-\include{data-format}
+\input{design-outline}
 
-\section{OpenXM Stackmachines}   (Tamura)
-\include{openxm-stackmacines}
+\input{ox-messages}
 
-\section{Session Management}  (Noryo)
-\include{session-management}
+\input{data-format}
 
-\section{OpenXM Clients}    
-\include{openxm-clients}
+\input{openxm-stackmachines}
 
-\section{OpenXM Development Environment}  (Maekawa)
-\include{openxm-development-environment}
+\input{session-management}
 
-\section{Applications}
-\subsection{Homogeneous Network}  (Noro)
-\include{homogeneous-network}
-\subsection{Heterotic Network}   (Takayama)
-\include{heterotic-network}
+\input{openxm-clients}
 
-\begin{thebibliography}{X}
-\bibitem{OpenMath}
-The OpenMath Esprit Consortium 
-(Caprotti, O. and Cohen, A.M. Editors),
-The OpenMath Standard. D1.3.2a (Public) \\
-{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
-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}
+\input{openxm-development-environment}
+
+\input{homogeneous-network}
+\input{heterotic-network}
+
+\input{bib}
 \end{document}
 \endinput
 %%