=================================================================== RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/doc/issac2000/bib.tex 2000/01/15 02:24:18 1.4 +++ OpenXM/doc/issac2000/bib.tex 2000/01/15 03:23:59 1.5 @@ -1,4 +1,4 @@ -%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.3 2000/01/11 05:17:11 noro Exp $ +%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.4 2000/01/15 02:24:18 takayama Exp $ \begin{thebibliography}{X} \bibitem{OpenMath} @@ -17,7 +17,8 @@ Design and Implementation of MP, a Protocol for Effici {\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/}. +computations, \\ +{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}. \bibitem{gap} Linton, S. and Solomon, A., OpenMath, IAMC and {\tt GAP},