| version 1.2, 2000/01/03 04:27:52 |
version 1.3, 2000/01/11 05:17:11 |
|
|
| %$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.2 2000/01/03 04:27:52 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 51 Schefstr\"om, D., |
|
| Line 54 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 |
![[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