version 1.7, 2000/01/15 12:18:42 |
version 1.8, 2000/01/16 10:55:40 |
|
|
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.6 2000/01/15 03:47:58 takayama Exp $ |
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.7 2000/01/15 12:18:42 takayama Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
Line 30 NetSolve, {\tt http://www.cs.utk.edu/netsolve} |
|
Line 30 NetSolve, {\tt http://www.cs.utk.edu/netsolve} |
|
\bibitem{asir} |
\bibitem{asir} |
Noro, M. et al., |
Noro, M. et al., |
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
{\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/} |
\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. |