version 1.6, 2000/01/15 03:47:58 |
version 1.8, 2000/01/16 10:55:40 |
|
|
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.5 2000/01/15 03:23:59 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} |
|
|
\bibitem{netsolve} |
\bibitem{netsolve} |
NetSolve, {\tt http://www.cs.utk.edu/netsolve} |
NetSolve, {\tt http://www.cs.utk.edu/netsolve} |
\bibitem{asir} |
\bibitem{asir} |
Noro, T. 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. |
Line 65 its implementation, |
|
Line 65 its implementation, |
|
{\em Kan: A system for computation in |
{\em Kan: A system for computation in |
algebraic analysis,} 1991 version 1, |
algebraic analysis,} 1991 version 1, |
1994 version 2, the latest version is 2.991106. |
1994 version 2, the latest version is 2.991106. |
{\tt \small ftp.math.kobe-u.ac.jp} |
{\tt \small ftp.math.kobe-u.ac.jp/pub/kan} |
\bibitem{phc} |
\bibitem{phc} |
Verschelde, J., |
Verschelde, J., |
PHCpack: A general-purpose solver for polynomial systems by |
PHCpack: A general-purpose solver for polynomial systems by |