===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/kxx/Attic/issac2000.tex	1999/12/16 04:23:27	1.4
+++ OpenXM/src/kxx/Attic/issac2000.tex	1999/12/16 12:19:27	1.5
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 takayama Exp $
+%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.4 1999/12/16 04:23:27 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/
@@ -56,12 +56,12 @@ 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 interface. 
+{\tt OpenMath}/XML \cite{OpenMath}interface. 
 More and more softwares are wrapped with the \OpenXM stackmachine;
 they are getting a member of \OpenXM package.
 
 
-\section{Design outline}
+\section{Design Outline}
 
 \section{Data Format}
 
@@ -69,7 +69,7 @@ they are getting a member of \OpenXM package.
 
 \section{OpenXM Clients}
 
-\section{OpenXM CVS server}
+\section{OpenXM CVS Server}
 
 \section{Applications}
 
@@ -90,10 +90,12 @@ Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
 preprint, 1999.
 \bibitem{asir} 
-Noro, M. et al. Risa/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 -- 2000.
+of OpenXM, (in Japanese) 1996, 1997, 1998, 1999.
 \bibitem{kan}
 	Takayama, N.,
 	{\em Kan: A system for computation in
@@ -108,6 +110,10 @@ 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}
 \endinput
@@ -142,4 +148,7 @@ homotopy continuation.  ACM Transaction on Mathematica
 %%\caption{\label{fig-1}This is a nice floating figure}
 %%\hrule
 %%\end{figure}
+
+
+