===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.6
retrieving revision 1.10
diff -u -p -r1.6 -r1.10
--- OpenXM/doc/issac2000/bib.tex	2000/01/15 03:47:58	1.6
+++ OpenXM/doc/issac2000/bib.tex	2000/01/17 08:06:15	1.10
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.5 2000/01/15 03:23:59 takayama Exp $
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.9 2000/01/17 07:06:53 noro Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -24,17 +24,17 @@ Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
 preprint, 1999.
 \bibitem{MPI} Message Passing Interface,
-{\tt http://www.mir-forum.org} 
+{\tt http://www.mpi-forum.org} 
 \bibitem{netsolve}
 NetSolve, {\tt http://www.cs.utk.edu/netsolve}
 \bibitem{asir} 
-Noro, T. et al., 
+Noro, M. et al., 
 A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
-{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
+{\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
 \bibitem{noro-mckay}
 Noro, M. and McKay, J.,
 Computation of replicable functions on Risa/Asir.
-Proceedings of the Second International Symposyum on
+Proceedings of the Second International Symposium on
 Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
 \bibitem{noro-takayama}
 Noro, M and Takayama, N., Design and Implementation
@@ -65,7 +65,7 @@ its implementation,
 	{\em Kan: A system for computation in
 	algebraic analysis,} 1991 version 1,
         1994 version 2, the latest version is 2.991106. 
-	{\tt \small ftp.math.kobe-u.ac.jp}
+	{\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by