version 1.2, 2001/06/20 01:54:05 |
version 1.7, 2001/06/21 00:15:34 |
|
|
%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.1 2001/06/19 07:32:58 noro Exp $ |
%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.6 2001/06/20 05:42:47 takayama Exp $ |
|
|
|
\section*{References} |
\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) \\ |
{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath}, |
{\small {\tt http://www.nag.co.uk/projects/OpenMath}}, |
February, 1999. |
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. |
\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 18 Design and Implementation of MP, a Protocol for Effici |
|
Line 19 Design and Implementation of MP, a Protocol for Effici |
|
\bibitem{Macaulay2} |
\bibitem{Macaulay2} |
Grayson, D. and Stillman, M., |
Grayson, D. and Stillman, M., |
Macaulay2, a software system for research in algebraic geometry, |
Macaulay2, a software system for research in algebraic geometry, |
available at {\tt http://www.math.uiuc.edu/Macaulay2}. |
{\small {\tt http://www.math.uiuc.edu/Macaulay2}}. |
%\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/}. |
{\small {\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}}. |
\bibitem{tigers} |
\bibitem{tigers} |
Hubert, B. and Thomas, R., |
Hubert, B. and Thomas, R., |
{\tt TiGERS} --- computing Gr\"obner fans of toric |
{\tt TiGERS} --- computing Gr\"obner fans of toric |
ideals, 1998. |
ideals, 1998. |
{\footnotesize |
{\small |
{\tt http://www.math.tamu.edu/\~\,rekha/programs.html}} |
{\tt http://www.math.tamu.edu/\~\,rekha/programs.html}} |
|
\bibitem{omei} |
|
Liao, W., Lin, D., and Wang, P.S., |
|
{OMEI: An Open Mathematical Engine Interface}, |
|
preprint. |
\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.mpi-forum.org} |
{\small {\tt http://www.mpi-forum.org}} |
\bibitem{netsolve} |
\bibitem{netsolve} |
NetSolve, {\tt http://www.cs.utk.edu/netsolve} |
NetSolve, {\small {\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/} |
{\small {\tt http://www.math.kobe-u.ac.jp/Asir/asir.html}} |
\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 49 Symbolic Computation PASCO'97, ACM Press, 130-138 (199 |
|
Line 54 Symbolic Computation PASCO'97, ACM Press, 130-138 (199 |
|
\bibitem{ox-rfc-100} |
\bibitem{ox-rfc-100} |
Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |
of OpenXM Client-Server Model and Common Mathematical Object Format |
of OpenXM Client-Server Model and Common Mathematical Object Format |
(OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 2001. |
(OpenXM-RFC 100), 1996--2001. |
%% |
%% |
\bibitem{oaku-advance} |
%\bibitem{oaku-advance} |
Oaku, T., |
%Oaku, T., |
Algorithms for $b$-functions, restrictions, and algebraic local cohomology |
%Algorithms for $b$-functions, restrictions, and algebraic local cohomology |
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{ox-rfc-101} |
\bibitem{ox-rfc-101} |
Ohara, K., |
Ohara, K., |
Protocol to Start Engines (OpenXM-RFC 101), |
Protocol to Start Engines (OpenXM-RFC 101), |
2000. |
2000. |
\bibitem{openxm-web} |
\bibitem{openxm-web} |
{\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}} |
{\small {\tt http://www.math.kobe-u.ac.jp/OpenXM}} |
or |
or |
{\footnotesize {\tt http://www.openxm.org}} |
{\small {\tt http://www.openxm.org}} |
\bibitem{openxm-1077} |
\bibitem{openxm-1077} |
{\footnotesize {\tt http://www/OpenXM/1.1.3/html/OpenXM-poster/func1/index.html}} |
{\small {\tt http://www.math.kobe-u.ac.jp/ \\ OpenXM/1.1.3/html/OpenXM-poster/func1/index.html}} |
\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 84 its implementation, |
|
Line 89 its implementation, |
|
\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, 1994, 1999. |
1994 version 2, the latest version is 2.991106. |
{\small {\tt ftp.math.kobe-u.ac.jp/pub/kan}} |
{\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 |