version 1.3, 2000/01/11 05:17:11 |
version 1.10, 2000/01/17 08:06:15 |
|
|
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.2 2000/01/03 04:27:52 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 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}, |
preprint, 1999. |
preprint, 1999. |
\bibitem{MPI} Message Passing Interface, |
\bibitem{MPI} Message Passing Interface, |
{\tt http://www.mir-forum.org} |
{\tt http://www.mpi-forum.org} |
\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. |
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 |
Line 48 Advances in Applied Mathematics, {\bf 61}, 61--105, 19 |
|
Line 49 Advances in Applied Mathematics, {\bf 61}, 61--105, 19 |
|
\bibitem{sst-book} |
\bibitem{sst-book} |
Saito, M., Sturmfels, B. and Takayama, N., |
Saito, M., Sturmfels, B. and Takayama, N., |
{\it Gr\"obner Deformations of Hypergeometric Differential Equations}. |
{\it Gr\"obner Deformations of Hypergeometric Differential Equations}. |
Springer, 1999. |
Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999. |
\bibitem{schefstrom} |
\bibitem{schefstrom} |
Schefstr\"om, D., |
Schefstr\"om, D., |
Building a highly integrated development environment using |
Building a highly integrated development environment using |
Line 63 its implementation, |
|
Line 64 its implementation, |
|
Takayama, N., |
Takayama, N., |
{\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. |
Source code available for Unix computers. |
{\tt \small ftp.math.kobe-u.ac.jp/pub/kan} |
Contact the author, or download from \\ |
|
{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. |
|
\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 |
Line 76 homotopy continuation. ACM Transaction on Mathematica |
|
Line 75 homotopy continuation. ACM Transaction on Mathematica |
|
Wang, P., |
Wang, P., |
Design and Protocol for Internet Accessible Mathematical Computation. |
Design and Protocol for Internet Accessible Mathematical Computation. |
Technical Report ICM-199901-001, ICM/Kent State University, 1999. |
Technical Report ICM-199901-001, ICM/Kent State University, 1999. |
|
\bibitem{mathlink} |
|
Wolfram, S., |
|
{\it The Mathematica Book, Fourth Edition}. |
|
1999, Cambridge University Press. |
\end{thebibliography} |
\end{thebibliography} |