Return to OpenXM.tex CVS log

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

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

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