version 1.2, 2000/01/23 00:41:08 |
version 1.9, 2000/10/18 12:43:15 |
|
|
%% $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.8 2000/09/09 21:59:12 takayama Exp $ |
\documentclass{article} |
\documentclass{article} |
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} |
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} |
|
\usepackage{html} |
\begin{document} |
\begin{document} |
/*&jp |
/*&jp |
\title{{\bf Open XM の設計と実装} \\ |
\title{{\bf Open XM の設計と実装} \\ |
--- Open message eXchange protocol for Mathematics } |
--- Open message eXchange protocol for Mathematics } |
\author{ 野呂正行\thanks{富士通研究所 |
\author{ 野呂正行, |
} , |
高山信毅\thanks{神戸大学理学部数学教室,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/~taka}}} |
高山信毅\thanks{神戸大学理学部数学教室} |
\date{ 2000年, 9月10日} |
} |
|
\date{ 2000年, 1月18日} |
|
*/ |
*/ |
/*&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 |
|
} , |
|
Nobuki Takayama\thanks{Department of Mathematics, Kobe University} |
|
} |
} |
\date{ January 18, 2000 } |
\author{ Masayuki Noro, |
|
Nobuki Takayama\thanks{Department of Mathematics, Kobe University,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/~taka}}} |
|
\date{ September 10, 2000 } |
*/ |
*/ |
\maketitle |
\maketitle |
|
|
\def\noroa#1{ } |
\def\noroa#1{ } |
\def\remove#1{ } |
\def\remove#1{ } |
|
|
|
//&C \noindent Draft for protocol version 1.1.3. \\ |
|
//&C 1.1.3 is encoded as 001001003 in mathcap. \\ |
|
|
/*&jp |
/*&jp |
{\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- . |
{\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- . |
この文書は open XM の設計用のメモとしての役目もあるので, |
この文書は open XM の設計用のメモとしての役目もあるので, |
|
|
\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{openmath} {\tt http://www.openmath.org} |
\bibitem{GKW} |
\bibitem{openxxx} {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)} |
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\\ |
|
\htmladdnormallink{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/} |
|
\bibitem{openmath} \htmladdnormallink{\tt http://www.openmath.org}{\tt http://www.openmath.org} |
|
\bibitem{openxxx} \htmladdnormallink{\tt http://www.math.kobe-u.ac.jp/OpenXM/}{\tt http://www.math.kobe-u.ac.jp/OpenXM/} |
\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/} |
\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. |
|
\htmladdnormallink{ftp://ftp.math.kobe-u.ac.jp/pub/kan}{ftp://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. |
|
\bibitem{xml} |
|
XML |
|
\htmladdnormallink{\tt http://www.w3c.org}{\tt http://www.w3c.org} |
\end{thebibliography} |
\end{thebibliography} |
*/ |
*/ |
|
|
Line 73 Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086- |
|
Line 103 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; (by Aug., 2000)} |
\rightline{{\tt noro@para.flab.fujitsu.co.jp}} |
\rightline{{\tt noryo@flab.fujitsu.co.jp}} |
|
\rightline{Current Address: Department of Mathematics, Kobe University, |
|
Rokko, Kobe, 657-8501, Japan;} |
|
\rightline{{\tt noro@math.kobe-u.ac.jp}} |
|
|
\vskip .5cm |
\vskip .5cm |
|
|