version 1.2, 2000/01/23 00:41:08 |
version 1.5, 2000/02/02 02:03:40 |
|
|
%% $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} |
\documentclass{article} |
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} |
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} |
\begin{document} |
\begin{document} |
|
|
} , |
} , |
高山信毅\thanks{神戸大学理学部数学教室} |
高山信毅\thanks{神戸大学理学部数学教室} |
} |
} |
\date{ 2000年, 1月18日} |
\date{ 2000年, 2月2日} |
*/ |
*/ |
/*&eg |
/*&eg |
\title{{\bf Design and Implementation of OpenXM} \\ |
\title{{\bf Design and Implementation of OpenXM} \\ |
--- Open message eXchange protocol for Mathematics \\ |
--- Open message eXchange protocol for Mathematics |
(English Abstract of Japanese Original Document)} |
} |
\author{ Masayuki Noro\thanks{Fujitsu Laboratory |
\author{ Masayuki Noro\thanks{FUJITSU LABORATORIES LTD. |
} , |
} , |
Nobuki Takayama\thanks{Department of Mathematics, Kobe University} |
Nobuki Takayama\thanks{Department of Mathematics, Kobe University} |
} |
} |
\date{ January 18, 2000 } |
\date{ February 2, 2000 } |
*/ |
*/ |
\maketitle |
\maketitle |
|
|
|
|
\input{implementation} |
\input{implementation} |
\input{howtowrite} |
\input{howtowrite} |
\input{cmo-register} |
\input{cmo-register} |
\input{appendix} |
%\input{appendix} |
\input{library} |
\input{library} |
*/ |
*/ |
|
|
/*&C |
/*&C |
|
|
\begin{thebibliography}{99} |
\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{openmath} {\tt http://www.openmath.org} |
\bibitem{openxxx} {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)} |
\bibitem{openxxx} {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)} |
\bibitem{openasir-intro} Ohara, Takayama, Noro: Introduction to Open Asir , |
\bibitem{openasir-intro} Ohara, Takayama, Noro: Introduction to Open Asir , |
1999, (in Japanese), |
1999, (in Japanese), |
Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \\ |
Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \\ |
{\tt http://www.math.kobe-u.ac.jp/OpenXM/} |
{\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} |
\end{thebibliography} |
*/ |
*/ |
|
|
Line 73 Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086- |
|
Line 101 Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086- |
|
\small{ |
\small{ |
\noindent |
\noindent |
\rightline{ Masayuki Noro,} |
\rightline{ Masayuki Noro,} |
\rightline{ Fujitsu Laboratory, Kawasaki, Japan;} |
\rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan;} |
\rightline{{\tt noro@para.flab.fujitsu.co.jp}} |
\rightline{{\tt noryo@flab.fujitsu.co.jp}} |
|
|
\vskip .5cm |
\vskip .5cm |
|
|