===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/issac2000/bib.tex	2000/01/03 04:27:52	1.2
+++ OpenXM/doc/issac2000/bib.tex	2000/01/11 05:17:11	1.3
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.1 2000/01/02 07:32:11 takayama Exp $
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.2 2000/01/03 04:27:52 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -15,6 +15,9 @@ 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},
@@ -51,6 +54,11 @@ 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