Return to bib.tex CVS log

Up to [local] / OpenXM / doc / issac2000

Annotation of OpenXM/doc/issac2000/bib.tex, Revision 1.2

1.2     ! takayama    1: %$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.1 2000/01/02 07:32:11 takayama Exp $
1.1       takayama    2:
                      3: \begin{thebibliography}{X}
                      4: \bibitem{OpenMath}
                      5: The OpenMath Esprit Consortium
                      6: (Caprotti, O. and Cohen, A.M. Editors),
                      7: The OpenMath Standard. D1.3.2a (Public) \\
                      8: {\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
                      9: February, 1999.
                     10: \bibitem{CLO}
                     11: Cox, D., Little, J.,  O'Shea,
1.2     ! takayama   12: {\it Using Algebraic Geometry}, Springer, 1998.
1.1       takayama   13: \bibitem{GKW}
                     14: Gray, S., Kajler, N. and Wang, P. S.,
                     15: Design and Implementation of MP, a Protocol for Efficient
                     16:   Exchange of Mathematical Expressions,
                     17: {\sl Journal of Symbolic Computation}, 1996.
                     18: \bibitem{gap}
                     19: Linton, S. and Solomon, A.,
                     20: OpenMath, IAMC and {\tt GAP},
                     21: preprint, 1999.
1.2     ! takayama   22: \bibitem{MPI} Message Passing Interface,
        !            23: {\tt http://www.mir-forum.org}
1.1       takayama   24: \bibitem{netsolve}
                     25: NetSolve, {\tt http://www.cs.utk.edu/netsolve}
                     26: \bibitem{asir}
                     27: Noro, T. et al.,
                     28: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
1.2     ! takayama   29: {\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
        !            30: \bibitem{noro-mckay}
        !            31: Noro, M. and McKay, J.,
        !            32: Computation of replicable functions on Risa/Asir.
        !            33: Proceedings of the Second International Symposyum on
        !            34: Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
1.1       takayama   35: \bibitem{noro-takayama}
                     36: Noro, M and Takayama, N., Design and Implementation
1.2     ! takayama   37: of OpenXM, 1996, 1997, 1998, 1999, 2000.
1.1       takayama   38: \bibitem{oaku-advance}
                     39: Oaku, T.,
1.2     ! takayama   40: Algorithms for $b$-functions, restrictions, and algebraic local cohomology
        !            41: groups of $D$-modules.
        !            42: Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
1.1       takayama   43: \bibitem{openxm-web}
                     44: {\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
                     45: \bibitem{sst-book}
                     46: Saito, M., Sturmfels, B. and Takayama, N.,
                     47: {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
                     48: Springer, 1999.
                     49: \bibitem{schefstrom}
                     50: Schefstr\"om, D.,
                     51: Building a highly integrated development environment using
                     52: preexisting parts.
                     53: In IFIP 11th World Computer Congress, San Francisco, USA.
                     54: \bibitem{kan}
                     55:        Takayama, N.,
                     56:        {\em Kan: A system for computation in
                     57:        algebraic analysis,} 1991 version 1,
                     58:         1994 version 2, the latest version is 2.991106.
                     59:        Source code available for Unix computers.
                     60:          Contact the author, or download from \\
                     61:        {\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
                     62: \bibitem{phc}
                     63: Verschelde, J.,
                     64: PHCpack: A general-purpose solver for polynomial systems by
                     65: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
                     66: 251-276, 1999.
                     67: \bibitem{iamc}
                     68: Wang, P.,
                     69: Design and Protocol for Internet Accessible Mathematical Computation.
                     70: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
                     71: \end{thebibliography}