=================================================================== 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