File: [local] / OpenXM / doc / OpenXM-specs / OpenXM.tex (download)
Revision 1.18, Sun Jan 20 09:26:21 2002 UTC (22 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1 Changes since 1.17: +5 -5
lines
Corrected typos.
|
%% $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.18 2002/01/20 09:26:21 takayama Exp $
\documentclass{article}
\IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
\usepackage{html}
\begin{document}
/*&jp
\title{{\bf Open XM の設計と実装: クライアントサーバモデルと数学共通表現 (OpenXM-RFC 100, proposed standard)} \\
--- Open message eXchange protocol for Mathematics }
\author{ 野呂正行,
高山信毅\thanks{神戸大学理学部数学教室,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}}
\date{ 1997年, 11月20日 --- 2000年, 11月17日, \\
2001年, 8月27日, 2002年, 1月20日 (小修正)}
*/
/*&eg
\title{{\bf Design and Implementation of OpenXM client server model and
common mathematical object format (OpenXM-RFC 100, proposed standard)} \\
--- Open message eXchange protocol for Mathematics
}
\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/\tilde{\ }taka}}}
\date{ November 20, 1997 --- November 17, 2000, \\
August 27, 2001, January 20, 2002 (minor change)}
*/
\maketitle
\newpage
\tableofcontents
\newpage
\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 の設計用のメモとしての役目もあるので,
一部のファイル名は開発者のみが参照できる.
*/
/*&C
\input{introduction}
\input{cmo-basic0}
\input{formal-expression}
\input{communication-model}
\input{stackmachine}
\input{project}
\input{control}
\input{start-session}
\input{string-expression}
\input{cmo-basic1}
\input{ox-localdata}
\input{error}
\input{redefine}
\input{implementation}
\input{howtowrite}
\input{cmo-register}
%\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\\
\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}}{http://www.openmath.org}
\bibitem{openxxx} \htmladdnormallink{{\tt http://www.math.kobe-u.ac.jp/OpenXM}/}{http://www.math.kobe-u.ac.jp/OpenXM/} \rm
\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).
\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}{http://www.w3c.org}
\end{thebibliography}
*/
/*&C
\bigbreak
\bigbreak
\bigbreak
\small{
\noindent
\rightline{ Masayuki Noro,}
\rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan; (by Aug., 2000)}
\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
\noindent
\rightline{ Nobuki Takayama,}
\rightline{Department of Mathematics, Kobe University,
Rokko, Kobe, 657-8501, Japan;}
\rightline{{\tt takayama@math.kobe-u.ac.jp}}
}
\end{document}
*/