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