===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/kxx/Attic/issac2000.tex	1999/12/15 10:47:53	1.2
+++ OpenXM/src/kxx/Attic/issac2000.tex	1999/12/15 11:46:40	1.3
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.1 1999/12/14 09:31:40 takayama Exp $
+%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.2 1999/12/15 10:47:53 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/
@@ -54,9 +54,9 @@ 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{sm1}, {\tt PHC} pack, {\tt GNUPLOT},
+{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT},
 {\tt Mathematica} interface, and
-{\tt OpenMath} interface. 
+{\tt OpenMath}/XML interface. 
 More and more softwares are wrapped with the \OpenXM stackmachine;
 they are getting a member of \OpenXM package.
 
@@ -72,8 +72,29 @@ they are getting a member of \OpenXM package.
 \section{Applications}
 
 \begin{thebibliography}{X}
-\bibitem[1]{NT} Noro and Takayama: {\em Design and Implementation
-of OpenXM}, 1996 -- 2000.
+\bibitem{asir} hogehoge.
+\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{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