Return to bib.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

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

1.7     ! takayama    1: %$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.6 2001/06/20 05:42:47 takayama Exp $
1.1       noro        2:
1.7     ! takayama    3: \section*{References}
1.1       noro        4: \begin{thebibliography}{X}
                      5: \bibitem{OpenMath}
                      6: The OpenMath Esprit Consortium
                      7: (Caprotti, O. and Cohen, A.M. Editors),
                      8: The OpenMath Standard. D1.3.2a (Public) \\
1.4       noro        9: {\small {\tt http://www.nag.co.uk/projects/OpenMath}},
1.1       noro       10: February, 1999.
1.3       takayama   11: %\bibitem{CLO}
                     12: %Cox, D., Little, J.,  O'Shea,
                     13: %{\it Using Algebraic Geometry}, Springer, 1998.
1.1       noro       14: \bibitem{GKW}
                     15: Gray, S., Kajler, N. and Wang, P. S.,
                     16: Design and Implementation of MP, a Protocol for Efficient
                     17:   Exchange of Mathematical Expressions,
                     18: {\sl Journal of Symbolic Computation}, 1996.
                     19: \bibitem{Macaulay2}
                     20: Grayson, D. and Stillman, M.,
                     21: Macaulay2, a software system for research in algebraic geometry,
1.4       noro       22:  {\small {\tt http://www.math.uiuc.edu/Macaulay2}}.
                     23: \bibitem{Singular}
                     24: Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
                     25: computations,
                     26: {\small {\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}}.
1.1       noro       27: \bibitem{tigers}
                     28: Hubert, B. and Thomas, R.,
                     29: {\tt TiGERS} --- computing Gr\"obner fans of toric
                     30: ideals, 1998.
1.4       noro       31: {\small
1.1       noro       32: {\tt http://www.math.tamu.edu/\~\,rekha/programs.html}}
1.3       takayama   33: \bibitem{omei}
                     34: Liao, W., Lin, D., and Wang, P.S.,
                     35: {OMEI: An Open Mathematical Engine Interface},
                     36: preprint.
1.1       noro       37: \bibitem{gap}
                     38: Linton, S. and Solomon, A.,
                     39: OpenMath, IAMC and {\tt GAP},
                     40: preprint, 1999.
                     41: \bibitem{MPI} Message Passing Interface,
1.4       noro       42: {\small {\tt http://www.mpi-forum.org}}
1.1       noro       43: \bibitem{netsolve}
1.4       noro       44: NetSolve, {\small {\tt http://www.cs.utk.edu/netsolve}}
1.1       noro       45: \bibitem{asir}
                     46: Noro, M. et al.,
1.4       noro       47: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000,
1.6       takayama   48: {\small {\tt http://www.math.kobe-u.ac.jp/Asir/asir.html}}
1.1       noro       49: \bibitem{noro-mckay}
                     50: Noro, M. and McKay, J.,
                     51: Computation of replicable functions on Risa/Asir.
                     52: Proceedings of the Second International Symposium on
                     53: Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
                     54: \bibitem{ox-rfc-100}
                     55: Noro, M and Takayama, N., Design and Implementation
                     56: of OpenXM Client-Server Model and Common Mathematical Object Format
1.5       takayama   57: (OpenXM-RFC 100), 1996--2001.
1.1       noro       58: %%
1.3       takayama   59: %\bibitem{oaku-advance}
                     60: %Oaku, T.,
                     61: %Algorithms for $b$-functions, restrictions, and algebraic local cohomology
                     62: %groups of $D$-modules.
                     63: %Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
1.1       noro       64: %%
                     65: \bibitem{ox-rfc-101}
                     66: Ohara, K.,
                     67: Protocol to Start Engines (OpenXM-RFC 101),
                     68: 2000.
                     69: \bibitem{openxm-web}
1.4       noro       70: {\small {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
1.1       noro       71: or
1.4       noro       72: {\small {\tt http://www.openxm.org}}
1.2       takayama   73: \bibitem{openxm-1077}
1.6       takayama   74: {\small {\tt http://www.math.kobe-u.ac.jp/ \\ OpenXM/1.1.3/html/OpenXM-poster/func1/index.html}}
1.1       noro       75: \bibitem{sst-book}
                     76: Saito, M., Sturmfels, B. and Takayama, N.,
                     77: {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
                     78: Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999.
                     79: \bibitem{schefstrom}
                     80: Schefstr\"om, D.,
                     81: Building a highly integrated development environment using
                     82: preexisting parts.
                     83: In IFIP 11th World Computer Congress, San Francisco, USA.
                     84: \bibitem{Shoup}
                     85: Shoup, V.,
                     86: A new polynomial factorization algorithm and
                     87: its implementation,
                     88: {\sl Journal of Symbolic Computation}, 20, 364-397, 1996.
                     89: \bibitem{kan}
                     90:        Takayama, N.,
                     91:        {\em Kan: A system for computation in
1.6       takayama   92:        algebraic analysis,} 1991, 1994, 1999.
                     93:        {\small {\tt ftp.math.kobe-u.ac.jp/pub/kan}}
1.1       noro       94: \bibitem{phc}
                     95: Verschelde, J.,
                     96: PHCpack: A general-purpose solver for polynomial systems by
                     97: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
                     98: 251-276, 1999.
                     99: \bibitem{iamc}
                    100: Wang, P.,
                    101: Design and Protocol for Internet Accessible Mathematical Computation.
                    102: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
                    103: \bibitem{mathlink}
                    104: Wolfram, S.,
                    105: {\it The Mathematica Book, Fourth Edition}.
                    106: 1999, Cambridge University Press.
                    107: \end{thebibliography}