===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.1
retrieving revision 1.7
diff -u -p -r1.1 -r1.7
--- OpenXM/doc/issac2000/bib.tex	2000/01/02 07:32:11	1.1
+++ OpenXM/doc/issac2000/bib.tex	2000/01/15 12:18:42	1.7
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.6 2000/01/15 03:47:58 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -9,49 +9,63 @@ The OpenMath Standard. D1.3.2a (Public) \\
 February, 1999.
 \bibitem{CLO}
 Cox, D., Little, J.,  O'Shea,
-{\it Using Algebraic Geometry}
+{\it Using Algebraic Geometry}, Springer, 1998.
 \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}, 1996.
+\bibitem{Singular}
+Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
+computations, \\
+{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}.
 \bibitem{gap}
 Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
 preprint, 1999.
+\bibitem{MPI} Message Passing Interface,
+{\tt http://www.mir-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\\
-{\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
-\bibitem{NT} 
-\bibitem{noro-mackay}
-Noro, M and McKay, 
+{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
+\bibitem{noro-mckay}
+Noro, M. and McKay, J.,
+Computation of replicable functions on Risa/Asir.
+Proceedings of the Second International Symposyum on
+Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
 \bibitem{noro-takayama}
 Noro, M and Takayama, N., Design and Implementation
-of OpenXM, (in Japanese) 1996, 1997, 1998, 1999.
+of OpenXM, 1996, 1997, 1998, 1999, 2000.
 \bibitem{oaku-advance}
 Oaku, T.,
+Algorithms for $b$-functions, restrictions, and algebraic local cohomology
+groups of $D$-modules.
+Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
 \bibitem{openxm-web}
 {\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
 \bibitem{sst-book}
 Saito, M., Sturmfels, B. and Takayama, N.,
 {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
-Springer, 1999.
+Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999.
 \bibitem{schefstrom}
 Schefstr\"om, D.,
 Building a highly integrated development environment using
 preexisting parts.
 In IFIP 11th World Computer Congress, San Francisco, USA.
+\bibitem{Shoup}
+Shoup, V., 
+A new polynomial factorization algorithm and 
+its implementation,
+{\sl Journal of Symbolic Computation}, 20, 364-397, 1996.
 \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.
+        1994 version 2, the latest version is 2.991106. 
+	{\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by
@@ -61,4 +75,8 @@ homotopy continuation.  ACM Transaction on Mathematica
 Wang, P.,
 Design and Protocol for Internet Accessible Mathematical Computation.
 Technical Report ICM-199901-001, ICM/Kent State University, 1999.
+\bibitem{mathlink}
+Wolfram, S.,
+{\it The Mathematica Book, Fourth Edition}.
+1999, Cambridge University Press.
 \end{thebibliography}