| version 1.4, 2000/01/15 02:24:18 |
version 1.5, 2000/01/15 03:23:59 |
|
|
| %$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} |
\begin{thebibliography}{X} |
| \bibitem{OpenMath} |
\bibitem{OpenMath} |
| Line 17 Design and Implementation of MP, a Protocol for Effici |
|
| Line 17 Design and Implementation of MP, a Protocol for Effici |
|
| {\sl Journal of Symbolic Computation}, 1996. |
{\sl Journal of Symbolic Computation}, 1996. |
| \bibitem{Singular} |
\bibitem{Singular} |
| Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial |
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} |
\bibitem{gap} |
| Linton, S. and Solomon, A., |
Linton, S. and Solomon, A., |
| OpenMath, IAMC and {\tt GAP}, |
OpenMath, IAMC and {\tt GAP}, |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to bib.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / issac2000