===================================================================
RCS file: /home/cvs/OpenXM/doc/ascm2001p/bib.tex,v
retrieving revision 1.2
retrieving revision 1.6
diff -u -p -r1.2 -r1.6
--- OpenXM/doc/ascm2001p/bib.tex	2001/06/20 01:54:05	1.2
+++ OpenXM/doc/ascm2001p/bib.tex	2001/06/20 05:42:47	1.6
@@ -1,15 +1,15 @@
-%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.1 2001/06/19 07:32:58 noro Exp $
+%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.5 2001/06/20 02:40:09 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
 The OpenMath Esprit Consortium 
 (Caprotti, O. and Cohen, A.M. Editors),
 The OpenMath Standard. D1.3.2a (Public) \\
-{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
+{\small {\tt http://www.nag.co.uk/projects/OpenMath}},
 February, 1999.
-\bibitem{CLO}
-Cox, D., Little, J.,  O'Shea,
-{\it Using Algebraic Geometry}, Springer, 1998.
+%\bibitem{CLO}
+%Cox, D., Little, J.,  O'Shea,
+%{\it Using Algebraic Geometry}, Springer, 1998.
 \bibitem{GKW}
 Gray, S., Kajler, N. and Wang, P. S.,
 Design and Implementation of MP, a Protocol for Efficient
@@ -18,29 +18,33 @@ Design and Implementation of MP, a Protocol for Effici
 \bibitem{Macaulay2}
 Grayson, D. and Stillman, M.,
 Macaulay2, a software system for research in algebraic geometry,
-available at {\tt http://www.math.uiuc.edu/Macaulay2}.
-%\bibitem{Singular}
-%Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
-%computations, \\
-%{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}.
+ {\small {\tt http://www.math.uiuc.edu/Macaulay2}}.
+\bibitem{Singular}
+Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
+computations,
+{\small {\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}}.
 \bibitem{tigers}
 Hubert, B. and Thomas, R.,
 {\tt TiGERS} --- computing Gr\"obner fans of toric
 ideals, 1998.
-{\footnotesize
+{\small
 {\tt http://www.math.tamu.edu/\~\,rekha/programs.html}}
+\bibitem{omei}
+Liao, W., Lin, D., and Wang, P.S.,
+{OMEI: An Open Mathematical Engine Interface},
+preprint.
 \bibitem{gap}
 Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
 preprint, 1999.
 \bibitem{MPI} Message Passing Interface,
-{\tt http://www.mpi-forum.org} 
+{\small {\tt http://www.mpi-forum.org}} 
 \bibitem{netsolve}
-NetSolve, {\tt http://www.cs.utk.edu/netsolve}
+NetSolve, {\small {\tt http://www.cs.utk.edu/netsolve}}
 \bibitem{asir} 
 Noro, M. et al., 
-A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
-{\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
+A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000,
+{\small {\tt http://www.math.kobe-u.ac.jp/Asir/asir.html}}
 \bibitem{noro-mckay}
 Noro, M. and McKay, J.,
 Computation of replicable functions on Risa/Asir.
@@ -49,24 +53,24 @@ Symbolic Computation PASCO'97, ACM Press, 130-138 (199
 \bibitem{ox-rfc-100}
 Noro, M and Takayama, N., Design and Implementation
 of OpenXM Client-Server Model and Common Mathematical Object Format
-(OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 2001.
+(OpenXM-RFC 100), 1996--2001.
 %%
-\bibitem{oaku-advance}
-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{oaku-advance}
+%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{ox-rfc-101}
 Ohara, K.,
 Protocol to Start Engines (OpenXM-RFC 101),
 2000.
 \bibitem{openxm-web}
-{\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
+{\small {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
 or 
-{\footnotesize {\tt http://www.openxm.org}}
+{\small {\tt http://www.openxm.org}}
 \bibitem{openxm-1077}
-{\footnotesize {\tt http://www/OpenXM/1.1.3/html/OpenXM-poster/func1/index.html}}
+{\small {\tt http://www.math.kobe-u.ac.jp/ \\ OpenXM/1.1.3/html/OpenXM-poster/func1/index.html}}
 \bibitem{sst-book}
 Saito, M., Sturmfels, B. and Takayama, N.,
 {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
@@ -84,9 +88,8 @@ its implementation,
 \bibitem{kan}
 	Takayama, N.,
 	{\em Kan: A system for computation in
-	algebraic analysis,} 1991 version 1,
-        1994 version 2, the latest version is 2.991106. 
-	{\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
+	algebraic analysis,} 1991, 1994, 1999.
+	{\small {\tt ftp.math.kobe-u.ac.jp/pub/kan}}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by