===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v
retrieving revision 1.1
retrieving revision 1.4
diff -u -p -r1.1 -r1.4
--- OpenXM/src/kxx/Attic/issac2000.tex	1999/12/14 09:31:40	1.1
+++ OpenXM/src/kxx/Attic/issac2000.tex	1999/12/16 04:23:27	1.4
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 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/
@@ -7,8 +7,8 @@
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
 \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
 \ConferenceShortName{ISSAC2000}
+\def\OpenXM{{\tt OpenXM\ }}
 
-
 \begin{document}
 \date{January 16, 2000}
 \title{OpenXM 
@@ -48,7 +48,19 @@ 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.
+\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 interface. 
+More and more softwares are wrapped with the \OpenXM stackmachine;
+they are getting a member of \OpenXM package.
 
+
 \section{Design outline}
 
 \section{Data Format}
@@ -57,11 +69,45 @@ OpenMath, MP, OpenXM. 
 
 \section{OpenXM Clients}
 
+\section{OpenXM CVS server}
+
 \section{Applications}
 
 \begin{thebibliography}{X}
-\bibitem[1]{NT} Noro and Takayama: {\em Design and Implementation
-of OpenXM}, 1996 -- 2000.
+\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, M. et al. Risa/Asir.
+\bibitem{NT} 
+Noro, M and Takayama, N., Design and Implementation
+of OpenXM, (in Japanese) 1996 -- 2000.
+\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.
 \end{thebibliography}
 \end{document}
 \endinput