===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/issac2000.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/issac2000/issac2000.tex	1999/12/23 10:25:08	1.1
+++ OpenXM/doc/issac2000/issac2000.tex	2000/01/02 07:32:12	1.2
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.1 1999/12/23 10:25:08 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/
@@ -57,77 +57,29 @@ to integrate various mathematical 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 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;
-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}.
 
+\input{design-outline}
 
-\section{Design Outline} (Takayama)
-\include{design-outline}
+\input{ox-messages}
 
-\section{Data Format} (Ohara)
-\include{data-format}
+\input{data-format}
 
-\section{OpenXM Stackmachines}   (Tamura)
-\include{openxm-stackmacines}
+\input{openxm-stackmachines}
 
-\section{Session Management}  (Noryo)
-\include{session-management}
+\input{session-management}
 
-\section{OpenXM Clients}    
-\include{openxm-clients}
+\input{openxm-clients}
 
-\section{OpenXM Development Environment}  (Maekawa)
-\include{openxm-development-environment}
+\input{openxm-development-environment}
 
-\section{Applications}
-\subsection{Homogeneous Network}  (Noro)
-\include{homogeneous-network}
-\subsection{Heterotic Network}   (Takayama)
-\include{heterotic-network}
+\input{homogeneous-network}
+\input{heterotic-network}
 
-\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{bib}
 \end{document}
 \endinput
 %%