Return to bib.tex CVS log | Up to [local] / OpenXM / doc / ascm2001 |
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} | ||
|
|
||
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}, | ||
|
|
||
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}. |