Return to OpenXM.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Annotation of OpenXM/doc/OpenXM-specs/OpenXM.tex, Revision 1.8

1.8     ! takayama    1: %%  $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.7 2000/09/08 20:00:46 takayama Exp $
1.2       noro        2: \documentclass{article}
                      3: \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
                      4: \begin{document}
1.1       noro        5: /*&jp
                      6: \title{{\bf Open XM の設計と実装} \\
                      7:  --- Open message eXchange protocol for Mathematics }
1.6       takayama    8: \author{ 野呂正行,
1.1       noro        9:          高山信毅\thanks{神戸大学理学部数学教室}
                     10: }
1.8     ! takayama   11: \date{ 2000年, 9月10日}
1.1       noro       12: */
                     13: /*&eg
                     14: \title{{\bf Design and Implementation of OpenXM} \\
1.5       takayama   15:  --- Open message eXchange protocol for Mathematics
                     16: }
1.6       takayama   17: \author{ Masayuki Noro,
1.1       noro       18:          Nobuki Takayama\thanks{Department of Mathematics, Kobe University}
                     19: }
1.8     ! takayama   20: \date{ September 10, 2000 }
1.1       noro       21: */
                     22: \maketitle
                     23:
                     24: \def\noroa#1{  }
                     25: \def\remove#1{ }
1.7       takayama   26:
                     27: //&C \noindent Draft for protocol version 1.1.3.  \\
                     28: //&C 1.1.3 is encoded as 001001003 in mathcap. \\
1.1       noro       29:
                     30: /*&jp
                     31: {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- .
                     32: この文書は open XM の設計用のメモとしての役目もあるので,
                     33: 一部のファイル名は開発者のみが参照できる.
                     34: */
                     35:
                     36: /*&C
                     37: \input{introduction}
                     38: \input{cmo-basic0}
                     39: \input{formal-expression}
                     40: \input{communication-model}
                     41: \input{stackmachine}
                     42: \input{project}
                     43: \input{control}
                     44: \input{start-session}
                     45: \input{string-expression}
                     46: \input{cmo-basic1}
                     47: \input{ox-localdata}
                     48: \input{error}
                     49: \input{redefine}
                     50: \input{implementation}
                     51: \input{howtowrite}
                     52: \input{cmo-register}
1.3       noro       53: %\input{appendix}
1.1       noro       54: \input{library}
                     55: */
                     56:
                     57: /*&C
                     58:
                     59: \begin{thebibliography}{99}
1.4       noro       60: \bibitem{GKW}
                     61: Gray, S., Kajler, N. and Wang, P. S.,
                     62: Design and Implementation of MP, a Protocol for Efficient
                     63:   Exchange of Mathematical Expressions,
                     64:   {\sl Journal of Symbolic Computation}, 1996.
                     65: \bibitem{gap}
                     66: Linton, S. and Solomon, A.,
                     67: OpenMath, IAMC and {\tt GAP},
                     68: preprint, 1999.
                     69: \bibitem{asir}
                     70: Noro, M. et al.,
                     71: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
                     72: {\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
1.1       noro       73: \bibitem{openmath}  {\tt http://www.openmath.org}
                     74: \bibitem{openxxx}   {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)}
                     75: \bibitem{openasir-intro}  Ohara, Takayama, Noro: Introduction to Open Asir ,
                     76: 1999, (in Japanese),
                     77: Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \\
                     78: {\tt http://www.math.kobe-u.ac.jp/OpenXM/}
1.4       noro       79: \bibitem{kan}
                     80: Takayama, N.,
                     81: {\em Kan: A system for computation in
                     82: algebraic analysis,} 1991 version 1,
                     83: 1994 version 2, the latest version is 2.991106.
                     84: {\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
                     85: \bibitem{phc}
                     86: Verschelde, J.,
                     87: PHCpack: A general-purpose solver for polynomial systems by
                     88: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
                     89: 251-276, 1999.
                     90: \bibitem{iamc}
                     91: Wang, P.,
                     92: Design and Protocol for Internet Accessible Mathematical Computation.
                     93: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
1.8     ! takayama   94: \bibitem{xml}
        !            95: XML
        !            96: {\tt http://www.w3c.org}
1.1       noro       97: \end{thebibliography}
                     98: */
                     99:
                    100: /*&C
                    101: \bigbreak
                    102: \bigbreak
                    103: \bigbreak
                    104:
                    105: \small{
                    106: \noindent
                    107:     \rightline{ Masayuki Noro,}
1.8     ! takayama  108:     \rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan; (by Aug., 2000)}
1.4       noro      109:  \rightline{{\tt noryo@flab.fujitsu.co.jp}}
1.8     ! takayama  110:    \rightline{Current Address: Department of Mathematics, Kobe University,
        !           111:                Rokko, Kobe, 657-8501, Japan;}
        !           112: \rightline{{\tt noro@math.kobe-u.ac.jp}}
1.1       noro      113:
                    114: \vskip .5cm
                    115:
                    116: \noindent
                    117:     \rightline{ Nobuki Takayama,}
                    118:    \rightline{Department of Mathematics, Kobe University,
                    119:                Rokko, Kobe, 657-8501, Japan;}
                    120: \rightline{{\tt takayama@math.kobe-u.ac.jp}}
                    121: }
                    122:
                    123: \end{document}
                    124: */