version 1.2, 2000/01/03 04:27:52 |
version 1.5, 2000/01/15 03:23:59 |
|
|
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.1 2000/01/02 07:32:11 takayama Exp $ |
%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.4 2000/01/15 02:24:18 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{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}, |
Line 45 Advances in Applied Mathematics, {\bf 61}, 61--105, 19 |
|
Line 49 Advances in Applied Mathematics, {\bf 61}, 61--105, 19 |
|
\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 |
Line 68 homotopy continuation. ACM Transaction on Mathematica |
|
Line 77 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} |