| version 1.1, 2000/01/02 07:32:11 |
version 1.6, 2000/01/15 03:47:58 |
|
|
| %$OpenXM$ |
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.5 2000/01/15 03:23:59 takayama Exp $ |
| |
|
| \begin{thebibliography}{X} |
\begin{thebibliography}{X} |
| \bibitem{OpenMath} |
\bibitem{OpenMath} |
| Line 9 The OpenMath Standard. D1.3.2a (Public) \\ |
|
| Line 9 The OpenMath Standard. D1.3.2a (Public) \\ |
|
| February, 1999. |
February, 1999. |
| \bibitem{CLO} |
\bibitem{CLO} |
| Cox, D., Little, J., O'Shea, |
Cox, D., Little, J., O'Shea, |
| {\it Using Algebraic Geometry} |
{\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 |
| Exchange of Mathematical Expressions, |
Exchange of Mathematical Expressions, |
| {\sl Journal of Symbolic Computation}, 1996. |
{\sl Journal of Symbolic Computation}, 1996. |
| |
\bibitem{Singular} |
| |
Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial |
| |
computations, \\ |
| |
{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}. |
| \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, |
| |
{\tt http://www.mir-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, T. et al., |
Noro, T. et al., |
| A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ |
| {\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir} |
| \bibitem{NT} |
\bibitem{noro-mckay} |
| \bibitem{noro-mackay} |
Noro, M. and McKay, J., |
| Noro, M and McKay, |
Computation of replicable functions on Risa/Asir. |
| |
Proceedings of the Second International Symposyum on |
| |
Symbolic Computation PASCO'97, ACM Press, 130-138 (1997). |
| \bibitem{noro-takayama} |
\bibitem{noro-takayama} |
| Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |
| of OpenXM, (in Japanese) 1996, 1997, 1998, 1999. |
of OpenXM, 1996, 1997, 1998, 1999, 2000. |
| \bibitem{oaku-advance} |
\bibitem{oaku-advance} |
| Oaku, T., |
Oaku, T., |
| |
Algorithms for $b$-functions, restrictions, and algebraic local cohomology |
| |
groups of $D$-modules. |
| |
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}} |
{\footnotesize {\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}. |
| Springer, 1999. |
Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999. |
| \bibitem{schefstrom} |
\bibitem{schefstrom} |
| Schefstr\"om, D., |
Schefstr\"om, D., |
| Building a highly integrated development environment using |
Building a highly integrated development environment using |
| preexisting parts. |
preexisting parts. |
| In IFIP 11th World Computer Congress, San Francisco, USA. |
In IFIP 11th World Computer Congress, San Francisco, USA. |
| |
\bibitem{Shoup} |
| |
Shoup, V., |
| |
A new polynomial factorization algorithm and |
| |
its implementation, |
| |
{\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. |
| Source code available for Unix computers. |
{\tt \small ftp.math.kobe-u.ac.jp} |
| Contact the author, or download from \\ |
|
| {\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. |
|
| \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 |
| Line 61 homotopy continuation. ACM Transaction on Mathematica |
|
| Line 75 homotopy continuation. ACM Transaction on Mathematica |
|
| Wang, P., |
Wang, P., |
| Design and Protocol for Internet Accessible Mathematical Computation. |
Design and Protocol for Internet Accessible Mathematical Computation. |
| Technical Report ICM-199901-001, ICM/Kent State University, 1999. |
Technical Report ICM-199901-001, ICM/Kent State University, 1999. |
| |
\bibitem{mathlink} |
| |
Wolfram, S., |
| |
{\it The Mathematica Book, Fourth Edition}. |
| |
1999, Cambridge University Press. |
| \end{thebibliography} |
\end{thebibliography} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to bib.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / issac2000