version 1.9, 2000/01/17 07:06:53 |
version 1.10, 2000/01/17 08:06:15 |
|
|
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.8 2000/01/16 10:55:40 takayama Exp $ |
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.9 2000/01/17 07:06:53 noro Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
Line 34 A Computer Algebra System {\tt Risa/Asir}, 1993, 1995 |
|
Line 34 A Computer Algebra System {\tt Risa/Asir}, 1993, 1995 |
|
\bibitem{noro-mckay} |
\bibitem{noro-mckay} |
Noro, M. and McKay, J., |
Noro, M. and McKay, J., |
Computation of replicable functions on Risa/Asir. |
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). |
Symbolic Computation PASCO'97, ACM Press, 130-138 (1997). |
\bibitem{noro-takayama} |
\bibitem{noro-takayama} |
Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |