[BACK]Return to bib.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / issac2000

Diff for /OpenXM/doc/issac2000/bib.tex between version 1.1 and 1.3

version 1.1, 2000/01/02 07:32:11 version 1.3, 2000/01/11 05:17:11
Line 1 
Line 1 
 %$OpenXM$  %$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 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}
Line 44  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
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>