version 1.2, 2000/04/24 05:01:29 |
version 1.3, 2000/04/28 05:30:22 |
|
|
%$OpenXM: OpenXM/doc/calc2000/bib.tex,v 1.1.1.1 2000/04/24 04:20:11 noro Exp $ |
%$OpenXM: OpenXM/doc/calc2000/bib.tex,v 1.2 2000/04/24 05:01:29 noro Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
The OpenMath Esprit Consortium |
The OpenMath Esprit Consortium |
(Caprotti, O. and Cohen, A.M. Editors), |
(Caprotti, O. and Cohen, A.M. Editors), |
The OpenMath Standard. D1.3.2a (Public) \\ |
The OpenMath Standard. D1.3.2a (Public), February, 1999. |
{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath}, |
{\tt http://www.nag.co.uk/projects/OpenMath} |
February, 1999. |
|
\bibitem{CLO} |
\bibitem{CLO} |
Cox, D., Little, J., O'Shea, |
Cox, D., Little, J., O'Shea, |
{\it Using Algebraic Geometry}, Springer, 1998. |
{\it Using Algebraic Geometry}, Springer, 1998. |
Line 20 Design and Implementation of MP, a Protocol for Effici |
|
Line 19 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, \\ |
computations.\\ |
{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}. |
{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/} |
\bibitem{tigers} |
\bibitem{tigers} |
Huber, B., Thomas, R., Computing Gr\"obner Fans of Toric Ideals. |
Huber, B., Thomas, R., Computing Gr\"obner Fans of Toric Ideals, 1999. |
{\tt http://www.math.tamu.edu/~rekha/programs.html/}, 1999. |
{\tt http://www.math.tamu.edu/\~\,rekha/programs.html/} |
\bibitem{pseware} |
\bibitem{pseware} |
Lakshman, Y.N., Char, B, Johnson, J., Software Components using |
Lakshman, Y.N., Char, B, Johnson, J., Software Components using |
Symbolic Computation for Problem Solving Environments. |
Symbolic Computation for Problem Solving Environments. |
Line 33 Proceedings of ISSAC'98, ACM Press, 46-53 (1998). |
|
Line 32 Proceedings of ISSAC'98, ACM Press, 46-53 (1998). |
|
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.mpi-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, 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://archives.cs.ehime-u.ac.jp/pub/asir2000/} |
{\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., |
Line 55 Algorithms for $b$-functions, restrictions, and algebr |
|
Line 54 Algorithms for $b$-functions, restrictions, and algebr |
|
groups of $D$-modules. |
groups of $D$-modules. |
Advances in Applied Mathematics, {\bf 61}, 61--105, 1997. |
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}} |
{\tt http://www.math.kobe-u.ac.jp/OpenXM} |
\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}. |
Line 71 A new polynomial factorization algorithm and |
|
Line 70 A new polynomial factorization algorithm and |
|
its implementation, |
its implementation, |
{\sl Journal of Symbolic Computation}, 20, 364-397, 1996. |
{\sl Journal of Symbolic Computation}, 20, 364-397, 1996. |
\bibitem{kan} |
\bibitem{kan} |
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. |
{\tt \small ftp.math.kobe-u.ac.jp/pub/kan} |
{\tt ftp://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 |