Return to bib.tex CVS log

Up to [local] / OpenXM / doc / calc2000

Annotation of OpenXM/doc/calc2000/bib.tex, Revision 1.3

1.3     ! noro        1: %$OpenXM: OpenXM/doc/calc2000/bib.tex,v 1.2 2000/04/24 05:01:29 noro Exp $
1.1       noro        2:
                      3: \begin{thebibliography}{X}
                      4: \bibitem{OpenMath}
                      5: The OpenMath Esprit Consortium
                      6: (Caprotti, O. and Cohen, A.M. Editors),
1.3     ! noro        7: The OpenMath Standard. D1.3.2a (Public), February, 1999.
        !             8: {\tt http://www.nag.co.uk/projects/OpenMath}
1.1       noro        9: \bibitem{CLO}
                     10: Cox, D., Little, J.,  O'Shea,
                     11: {\it Using Algebraic Geometry}, Springer, 1998.
1.2       noro       12: \bibitem{omimp}
                     13: Dalmas, S., Ga\"etano, M., Watt, S., An OpenMath 1.0 Implementation.
                     14: Proceedings of ISSAC'97, ACM Press, 241-248 (1997).
1.1       noro       15: \bibitem{GKW}
                     16: Gray, S., Kajler, N. and Wang, P. S.,
                     17: Design and Implementation of MP, a Protocol for Efficient
                     18:   Exchange of Mathematical Expressions,
                     19: {\sl Journal of Symbolic Computation}, 1996.
                     20: \bibitem{Singular}
                     21: Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
1.3     ! noro       22: computations.\\
        !            23: {\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}
1.2       noro       24: \bibitem{tigers}
1.3     ! noro       25: Huber, B., Thomas, R., Computing Gr\"obner Fans of Toric Ideals, 1999.
        !            26: {\tt http://www.math.tamu.edu/\~\,rekha/programs.html/}
1.2       noro       27: \bibitem{pseware}
                     28: Lakshman, Y.N., Char, B, Johnson, J., Software Components using
                     29: Symbolic Computation for Problem Solving Environments.
                     30: Proceedings of ISSAC'98, ACM Press, 46-53 (1998).
1.1       noro       31: \bibitem{gap}
                     32: Linton, S. and Solomon, A.,
                     33: OpenMath, IAMC and {\tt GAP},
                     34: preprint, 1999.
1.3     ! noro       35: \bibitem{MPI} Message Passing Interface.
1.1       noro       36: {\tt http://www.mpi-forum.org}
1.2       noro       37: %\bibitem{netsolve}
                     38: %NetSolve, {\tt http://www.cs.utk.edu/netsolve}
1.1       noro       39: \bibitem{asir}
                     40: Noro, M. et al.,
1.3     ! noro       41: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000.
1.1       noro       42: {\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
                     43: \bibitem{noro-mckay}
                     44: Noro, M. and McKay, J.,
                     45: Computation of replicable functions on Risa/Asir.
                     46: Proceedings of the Second International Symposium on
                     47: Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
                     48: \bibitem{noro-takayama}
                     49: Noro, M and Takayama, N., Design and Implementation
                     50: of OpenXM, 1996, 1997, 1998, 1999, 2000.
                     51: \bibitem{oaku-advance}
                     52: Oaku, T.,
                     53: Algorithms for $b$-functions, restrictions, and algebraic local cohomology
                     54: groups of $D$-modules.
                     55: Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
                     56: \bibitem{openxm-web}
1.3     ! noro       57: {\tt http://www.math.kobe-u.ac.jp/OpenXM}
1.1       noro       58: \bibitem{sst-book}
                     59: Saito, M., Sturmfels, B. and Takayama, N.,
                     60: {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
                     61: Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999.
                     62: \bibitem{schefstrom}
                     63: Schefstr\"om, D.,
                     64: Building a highly integrated development environment using
                     65: preexisting parts.
                     66: In IFIP 11th World Computer Congress, San Francisco, USA.
                     67: \bibitem{Shoup}
                     68: Shoup, V.,
                     69: A new polynomial factorization algorithm and
                     70: its implementation,
                     71: {\sl Journal of Symbolic Computation}, 20, 364-397, 1996.
                     72: \bibitem{kan}
1.3     ! noro       73: Takayama, N.,
        !            74: {\em Kan: A system for computation in
        !            75: algebraic analysis,} 1991 version 1,
        !            76: 1994 version 2, the latest version is 2.991106.
        !            77: {\tt ftp://ftp.math.kobe-u.ac.jp/pub/kan}
1.1       noro       78: \bibitem{phc}
                     79: Verschelde, J.,
                     80: PHCpack: A general-purpose solver for polynomial systems by
                     81: homotopy continuation.  ACM Transaction on Mathematical Software, 25(2)
                     82: 251-276, 1999.
                     83: \bibitem{iamc}
                     84: Wang, P.,
                     85: Design and Protocol for Internet Accessible Mathematical Computation.
                     86: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
                     87: \bibitem{mathlink}
                     88: Wolfram, S.,
                     89: {\it The Mathematica Book, Fourth Edition}.
                     90: 1999, Cambridge University Press.
                     91: \end{thebibliography}