version 1.1, 2000/01/02 07:32:11 |
version 1.2, 2000/01/03 04:27:52 |
|
|
%$OpenXM$ |
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.1 2000/01/02 07:32:11 takayama Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
Line 9 The OpenMath Standard. D1.3.2a (Public) \\ |
|
Line 9 The OpenMath Standard. D1.3.2a (Public) \\ |
|
February, 1999. |
February, 1999. |
\bibitem{CLO} |
\bibitem{CLO} |
Cox, D., Little, J., O'Shea, |
Cox, D., Little, J., O'Shea, |
{\it Using Algebraic Geometry} |
{\it Using Algebraic Geometry}, Springer, 1998. |
\bibitem{GKW} |
\bibitem{GKW} |
Gray, S., Kajler, N. and Wang, P. S., |
Gray, S., Kajler, N. and Wang, P. S., |
Design and Implementation of MP, a Protocol for Efficient |
Design and Implementation of MP, a Protocol for Efficient |
Line 19 Design and Implementation of MP, a Protocol for Effici |
|
Line 19 Design and Implementation of MP, a Protocol for Effici |
|
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, |
|
{\tt http://www.mir-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, T. et al., |
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
{\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
\bibitem{NT} |
\bibitem{noro-mckay} |
\bibitem{noro-mackay} |
Noro, M. and McKay, J., |
Noro, M and McKay, |
Computation of replicable functions on Risa/Asir. |
|
Proceedings of the Second International Symposyum on |
|
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 |
of OpenXM, (in Japanese) 1996, 1997, 1998, 1999. |
of OpenXM, 1996, 1997, 1998, 1999, 2000. |
\bibitem{oaku-advance} |
\bibitem{oaku-advance} |
Oaku, T., |
Oaku, T., |
|
Algorithms for $b$-functions, restrictions, and algebraic local cohomology |
|
groups of $D$-modules. |
|
Advances in Applied Mathematics, {\bf 61}, 61--105, 1997. |
\bibitem{openxm-web} |
\bibitem{openxm-web} |
{\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}} |
{\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}} |
\bibitem{sst-book} |
\bibitem{sst-book} |