===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/OpenXM.tex,v
retrieving revision 1.1
retrieving revision 1.7
diff -u -p -r1.1 -r1.7
--- OpenXM/doc/OpenXM-specs/OpenXM.tex	2000/01/20 08:52:46	1.1
+++ OpenXM/doc/OpenXM-specs/OpenXM.tex	2000/09/08 20:00:46	1.7
@@ -1,35 +1,32 @@
-%%  $OpenXM: OpenXM/src/kxx/openxxx.tex,v 1.7 2000/01/17 22:09:47 takayama Exp $
+%%  $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.6 2000/09/08 17:14:53 takayama Exp $
+\documentclass{article}
+\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
+\begin{document}
 /*&jp
-%\documentclass{jarticle}
-\documentstyle{jarticle}
 \title{{\bf Open XM の設計と実装} \\
  --- Open message eXchange protocol for Mathematics }
-\author{ 野呂正行\thanks{富士通研究所
-} , 
+\author{ 野呂正行, 
          高山信毅\thanks{神戸大学理学部数学教室}
 }
-\date{ 2000年, 1月18日}
+\date{ 2000年, 9月9日}
 */
 /*&eg
-%\documentclass{article}
-\documentstyle{article}
 \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, 
          Nobuki Takayama\thanks{Department of Mathematics, Kobe University}
 }
-\date{ January 18, 2000 }
+\date{ September 9, 2000 }
 */
-/*&C
-\begin{document}
 \maketitle
 
 \def\noroa#1{  }
 \def\remove#1{ }
-*/
 
+//&C \noindent Draft for protocol version 1.1.3.  \\
+//&C 1.1.3 is encoded as 001001003 in mathcap. \\
+
 /*&jp
 {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- .
 この文書は open XM の設計用のメモとしての役目もあるので,
@@ -53,19 +50,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}
 */
 
@@ -77,8 +102,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