version 1.1, 2001/03/07 02:42:10 |
version 1.3, 2001/03/08 00:49:29 |
|
|
%$OpenXM$ |
%$OpenXM: OpenXM/doc/ascm2001/bib.tex,v 1.2 2001/03/07 06:54:40 takayama Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
Line 15 Gray, S., Kajler, N. and Wang, P. S., |
|
Line 15 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 |
Exchange of Mathematical Expressions, |
Exchange of Mathematical Expressions, |
{\sl Journal of Symbolic Computation}, 1996. |
{\sl Journal of Symbolic Computation}, 1996. |
|
\bibitem{Macaulay2} |
|
Grayson, D. and Stillman, M., |
|
Macaulay2, a software system for research in algebraic geometry, |
|
available at {\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/}. |
{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}. |
|
\bibitem{tigers} |
|
Hubert, B. and Thomas, R., |
|
{\tt TiGERS} --- computing Gr\"obner fans of toric |
|
ideals, 1998. |
|
{\footnotesize |
|
{\tt http://www.math.tamu.edu/\~\,rekha/programs.html}} |
\bibitem{gap} |
\bibitem{gap} |
Linton, S. and Solomon, A., |
Linton, S. and Solomon, A., |
OpenMath, IAMC and {\tt GAP}, |
OpenMath, IAMC and {\tt GAP}, |
Line 36 Noro, M. and McKay, J., |
|
Line 46 Noro, M. and McKay, J., |
|
Computation of replicable functions on Risa/Asir. |
Computation of replicable functions on Risa/Asir. |
Proceedings of the Second International Symposium 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{ox-rfc-100} |
Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |
of OpenXM, 1996, 1997, 1998, 1999, 2000. |
of OpenXM Client-Server Model and Common Mathematical Object Format |
|
(OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 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} |
|
Ohara, K., |
|
Protocol to Start Engines (OpenXM-RFC 101), |
|
2000. |
\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}} |
|
or |
|
{\footnotesize {\tt http://www.openxm.org}} |
\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}. |