Return to OpenXM.tex CVS log

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

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

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