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>