Return to bib.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

Annotation of OpenXM/doc/ascm2001p/bib.tex, Revision 1.1

1.1     ! noro        1: %$OpenXM$
        !             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,
        !            12: {\it Using Algebraic Geometry}, Springer, 1998.
        !            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{Macaulay2}
        !            19: Grayson, D. and Stillman, M.,
        !            20: Macaulay2, a software system for research in algebraic geometry,
        !            21: available at {\tt http://www.math.uiuc.edu/Macaulay2}.
        !            22: %\bibitem{Singular}
        !            23: %Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
        !            24: %computations, \\
        !            25: %{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}.
        !            26: \bibitem{tigers}
        !            27: Hubert, B. and Thomas, R.,
        !            28: {\tt TiGERS} --- computing Gr\"obner fans of toric
        !            29: ideals, 1998.
        !            30: {\footnotesize
        !            31: {\tt http://www.math.tamu.edu/\~\,rekha/programs.html}}
        !            32: \bibitem{gap}
        !            33: Linton, S. and Solomon, A.,
        !            34: OpenMath, IAMC and {\tt GAP},
        !            35: preprint, 1999.
        !            36: \bibitem{MPI} Message Passing Interface,
        !            37: {\tt http://www.mpi-forum.org}
        !            38: \bibitem{netsolve}
        !            39: NetSolve, {\tt http://www.cs.utk.edu/netsolve}
        !            40: \bibitem{asir}
        !            41: Noro, M. et al.,
        !            42: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
        !            43: {\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
        !            44: \bibitem{noro-mckay}
        !            45: Noro, M. and McKay, J.,
        !            46: Computation of replicable functions on Risa/Asir.
        !            47: Proceedings of the Second International Symposium on
        !            48: Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
        !            49: \bibitem{ox-rfc-100}
        !            50: Noro, M and Takayama, N., Design and Implementation
        !            51: of OpenXM Client-Server Model and Common Mathematical Object Format
        !            52: (OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 2001.
        !            53: %%
        !            54: \bibitem{oaku-advance}
        !            55: Oaku, T.,
        !            56: Algorithms for $b$-functions, restrictions, and algebraic local cohomology
        !            57: groups of $D$-modules.
        !            58: Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
        !            59: %%
        !            60: \bibitem{ox-rfc-101}
        !            61: Ohara, K.,
        !            62: Protocol to Start Engines (OpenXM-RFC 101),
        !            63: 2000.
        !            64: \bibitem{openxm-web}
        !            65: {\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
        !            66: or
        !            67: {\footnotesize {\tt http://www.openxm.org}}
        !            68: \bibitem{sst-book}
        !            69: Saito, M., Sturmfels, B. and Takayama, N.,
        !            70: {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
        !            71: Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999.
        !            72: \bibitem{schefstrom}
        !            73: Schefstr\"om, D.,
        !            74: Building a highly integrated development environment using
        !            75: preexisting parts.
        !            76: In IFIP 11th World Computer Congress, San Francisco, USA.
        !            77: \bibitem{Shoup}
        !            78: Shoup, V.,
        !            79: A new polynomial factorization algorithm and
        !            80: its implementation,
        !            81: {\sl Journal of Symbolic Computation}, 20, 364-397, 1996.
        !            82: \bibitem{kan}
        !            83:        Takayama, N.,
        !            84:        {\em Kan: A system for computation in
        !            85:        algebraic analysis,} 1991 version 1,
        !            86:         1994 version 2, the latest version is 2.991106.
        !            87:        {\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
        !            88: \bibitem{phc}
        !            89: Verschelde, J.,
        !            90: PHCpack: A general-purpose solver for polynomial systems by
        !            91: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
        !            92: 251-276, 1999.
        !            93: \bibitem{iamc}
        !            94: Wang, P.,
        !            95: Design and Protocol for Internet Accessible Mathematical Computation.
        !            96: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
        !            97: \bibitem{mathlink}
        !            98: Wolfram, S.,
        !            99: {\it The Mathematica Book, Fourth Edition}.
        !           100: 1999, Cambridge University Press.
        !           101: \end{thebibliography}