===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/OpenXM.tex,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- OpenXM/doc/OpenXM-specs/OpenXM.tex	2000/01/23 00:41:08	1.2
+++ OpenXM/doc/OpenXM-specs/OpenXM.tex	2000/02/02 02:03:40	1.5
@@ -1,4 +1,4 @@
-%%  $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $
+%%  $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.4 2000/01/24 07:36:35 noro Exp $
 \documentclass{article}
 \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
 \begin{document}
@@ -9,17 +9,17 @@
 } , 
          高山信毅\thanks{神戸大学理学部数学教室}
 }
-\date{ 2000年, 1月18日}
+\date{ 2000年, 2月2日}
 */
 /*&eg
 \title{{\bf Design and Implementation of OpenXM} \\
- --- Open message eXchange protocol for Mathematics \\
- (English Abstract of Japanese Original Document)}
-\author{ Masayuki Noro\thanks{Fujitsu Laboratory
+ --- Open message eXchange protocol for Mathematics 
+}
+\author{ Masayuki Noro\thanks{FUJITSU LABORATORIES LTD.
 } , 
          Nobuki Takayama\thanks{Department of Mathematics, Kobe University}
 }
-\date{ January 18, 2000 }
+\date{ February 2, 2000 }
 */
 \maketitle
 
@@ -49,19 +49,47 @@
 \input{implementation}
 \input{howtowrite}
 \input{cmo-register}
-\input{appendix}
+%\input{appendix}
 \input{library}
 */
 
 /*&C
 
 \begin{thebibliography}{99}
+\bibitem{GKW}
+Gray, S., Kajler, N. and Wang, P. S.,
+Design and Implementation of MP, a Protocol for Efficient
+  Exchange of Mathematical Expressions,
+  {\sl Journal of Symbolic Computation}, 1996.
+\bibitem{gap}
+Linton, S. and Solomon, A.,
+OpenMath, IAMC and {\tt GAP},
+preprint, 1999.
+\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/}
 \bibitem{openmath}  {\tt http://www.openmath.org}
 \bibitem{openxxx}   {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)}
 \bibitem{openasir-intro}  Ohara, Takayama, Noro: Introduction to Open Asir , 
 1999, (in Japanese),
 Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \\
 {\tt http://www.math.kobe-u.ac.jp/OpenXM/}
+\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}
+\bibitem{phc}
+Verschelde, J.,
+PHCpack: A general-purpose solver for polynomial systems by
+homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
+251-276, 1999.
+\bibitem{iamc}
+Wang, P.,
+Design and Protocol for Internet Accessible Mathematical Computation.
+Technical Report ICM-199901-001, ICM/Kent State University, 1999.
 \end{thebibliography}
 */
 
@@ -73,8 +101,8 @@ Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-
 \small{
 \noindent
     \rightline{ Masayuki Noro,}
-    \rightline{ Fujitsu Laboratory, Kawasaki, Japan;}
- \rightline{{\tt noro@para.flab.fujitsu.co.jp}}
+    \rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan;}
+ \rightline{{\tt noryo@flab.fujitsu.co.jp}}
 
 \vskip .5cm