[BACK]Return to issac2000.tex CVS log [TXT][DIR] Up to [local] / OpenXM / src / kxx

Annotation of OpenXM/src/kxx/issac2000.tex, Revision 1.6

1.6     ! takayama    1: %$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.5 1999/12/16 12:19:27 takayama Exp $
1.1       takayama    2: %% You need acmconf.cls and flushend.sty to compile this file.
                      3: %% They may be obtained from
                      4: %%  http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/
                      5: \documentclass[submit]{acmconf}
                      6: %% \CopyrightText{\copyright 2000, }
                      7: \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
                      8: \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
                      9: \ConferenceShortName{ISSAC2000}
1.4       takayama   10: \def\OpenXM{{\tt OpenXM\ }}
1.1       takayama   11:
                     12: \begin{document}
                     13: \date{January 16, 2000}
                     14: \title{OpenXM
                     15:       --- an Open System \\ to Integrate Mathematical Softwares}
                     16: \author{\Author{Masahide Maekawa}\\
                     17:          \Address{Kobe University}\\
                     18:          \Email{maekawa@math.kobe-u.ac.jp}\\
                     19:          \and
                     20:          \Author{Masayuki Noro}\\
                     21:          \Address{Fujitsu Labs}\\
                     22:          \Email{noryo@flab.fujitsu.co.jp}
                     23:          \and
                     24:          \Author{Katsuyoshi Ohara}\\
                     25:          \Address{Kanazawa University}\\
1.6     ! takayama   26:          \Email{ohara@air.s.kanazawa-u.ac.jp}
1.1       takayama   27:          \and
                     28:          \Author{Yukio Okutani}\\
                     29:          \Address{Kobe University}\\
                     30:          \Email{okutani@math.kobe-u.ac.jp}
                     31:          \and
                     32:          \Author{Nobuki Takayama}\\
                     33:          \Address{Kobe University}\\
                     34:          \Email{takayama@math.kobe-u.ac.jp}
                     35:          \and
                     36:          \Author{Yasushi Tamura}\\
                     37:          \Address{Kobe University}\\
                     38:          \Email{tamura@math.kobe-u.ac.jp}
                     39:        }
                     40: \maketitle
                     41:
                     42: \begin{abstract}
                     43:   This is an abstract.
                     44: \end{abstract}
                     45:
                     46: \begin{keywords}
                     47: OpenMath, MP, OpenXM.
                     48: \end{keywords}
                     49:
                     50: \section{Introduction}
1.2       takayama   51: \OpenXM is a free, or Open Source, infrastructure for mathematical
                     52: softwares.
                     53: It provides methods and protocols
                     54: to integrate various mathematical softwares.
                     55: \OpenXM package is a set of softwares that supports \OpenXM protocols.
                     56: It is currently a collection of softwares
1.3       takayama   57: {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT},
1.2       takayama   58: {\tt Mathematica} interface, and
1.5       takayama   59: {\tt OpenMath}/XML \cite{OpenMath}interface.
1.2       takayama   60: More and more softwares are wrapped with the \OpenXM stackmachine;
                     61: they are getting a member of \OpenXM package.
                     62:
1.1       takayama   63:
1.6     ! takayama   64: \section{Design Outline} (Takayama)
1.1       takayama   65:
1.6     ! takayama   66: \section{Data Format} (Ohara)
1.1       takayama   67:
1.6     ! takayama   68: \section{OpenXM Stackmachines}   (Tamura)
1.1       takayama   69:
1.6     ! takayama   70: \section{Session Management}  (Noryo)
1.1       takayama   71:
1.6     ! takayama   72: \section{OpenXM Clients}
        !            73:
        !            74: \section{OpenXM Development Environment}  (Maekawa)
1.4       takayama   75:
1.1       takayama   76: \section{Applications}
1.6     ! takayama   77: \subsection{Homogeneous Network}  (Noro)
        !            78: \subsection{Heterotic Network}   (Takayama)
1.1       takayama   79:
                     80: \begin{thebibliography}{X}
1.4       takayama   81: \bibitem{OpenMath}
                     82: The OpenMath Esprit Consortium
                     83: (Caprotti, O. and Cohen, A.M. Editors),
                     84: The OpenMath Standard. D1.3.2a (Public) \\
                     85: {\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
                     86: February, 1999.
1.3       takayama   87: \bibitem{GKW}
                     88: Gray, S., Kajler, N. and Wang, P. S.,
                     89: Design and Implementation of MP, a Protocol for Efficient
                     90:   Exchange of Mathematical Expressions,
                     91: {\sl Journal of Symbolic Computation}, 19??.
1.4       takayama   92: \bibitem{gap}
                     93: Linton, S. and Solomon, A.,
                     94: OpenMath, IAMC and {\tt GAP},
                     95: preprint, 1999.
                     96: \bibitem{asir}
1.5       takayama   97: Noro, T. et al.,
                     98: A Computer Algebra System {\tt Risa/Asir},  1993, 1995\\
                     99: {\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
1.3       takayama  100: \bibitem{NT}
                    101: Noro, M and Takayama, N., Design and Implementation
1.5       takayama  102: of OpenXM, (in Japanese) 1996, 1997, 1998, 1999.
1.3       takayama  103: \bibitem{kan}
                    104:        Takayama, N.,
                    105:        {\em Kan: A system for computation in
                    106:        algebraic analysis,} 1991 version 1,
                    107:         1994 version 2, the latest version is 2.991106.
                    108:        Source code available for Unix computers.
1.4       takayama  109:          Contact the author, or download from \\
1.3       takayama  110:        {\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
1.4       takayama  111:         See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/}
1.3       takayama  112: \bibitem{phc}
                    113: Verschelde, J.,
                    114: PHCpack: A general-purpose solver for polynomial systems by
                    115: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
                    116: 251-276, 1999.
1.5       takayama  117: \bibitem{iamc}
                    118: Wang, P.,
                    119: Design and Protocol for Internet Accessible Mathematical Computation.
                    120: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
1.1       takayama  121: \end{thebibliography}
                    122: \end{document}
                    123: \endinput
                    124: %%
                    125:
                    126:
                    127: %%Text may be set as \emph{emph}.\\
                    128: %%Text may be set as \texttt{texttt}.\\
                    129: %%Text may be set as \underline{unterline}.\\
                    130: %%Text may be set as \textbf{textbf}.\\
                    131: %%Text may be set as \textrm{textrm}.\\
                    132: %%Text may be set as {\tiny tiny}.\\
                    133:
                    134: %%\begin{figure}
                    135: %%\hrule
                    136: %%Nice Postscript, isn't it?
                    137: %%\begin{center}
                    138: %%\IfFileExists{graphicx.sty}{
                    139: %%  \includegraphics{body.eps}
                    140: %%}{
                    141: %%  Sorry, package \texttt{graphicx} not present.
                    142: %%}
                    143: %%\end{center}
                    144: %%Same, a little bit smaller:
                    145: %%\begin{center}
                    146: %%\IfFileExists{graphicx.sty}{
                    147: %%  \includegraphics[scale=.5]{body.eps}
                    148: %%  }{
                    149: %%  Sorry, package \texttt{graphicx} not present.
                    150: %%}
                    151: %%\end{center}
                    152: %%\caption{\label{fig-1}This is a nice floating figure}
                    153: %%\hrule
                    154: %%\end{figure}
1.5       takayama  155:
                    156:
                    157:
1.1       takayama  158:

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>