version 1.2, 2001/03/07 06:54:40 |
version 1.3, 2001/03/08 00:49:29 |
|
|
%$OpenXM: OpenXM/doc/ascm2001/bib.tex,v 1.1 2001/03/07 02:42:10 noro Exp $ |
%$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 46 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 |
or |