Annotation of OpenXM/src/kxx/issac2000.tex, Revision 1.4
1.4 ! takayama 1: %$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 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}\\
26: \Email{ohara@alpha.s.kanazawa-u.ac.jp}
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.3 takayama 59: {\tt OpenMath}/XML 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:
64: \section{Design outline}
65:
66: \section{Data Format}
67:
68: \section{OpenXM Stackmachines}
69:
70: \section{OpenXM Clients}
71:
1.4 ! takayama 72: \section{OpenXM CVS server}
! 73:
1.1 takayama 74: \section{Applications}
75:
76: \begin{thebibliography}{X}
1.4 ! takayama 77: \bibitem{OpenMath}
! 78: The OpenMath Esprit Consortium
! 79: (Caprotti, O. and Cohen, A.M. Editors),
! 80: The OpenMath Standard. D1.3.2a (Public) \\
! 81: {\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
! 82: February, 1999.
1.3 takayama 83: \bibitem{GKW}
84: Gray, S., Kajler, N. and Wang, P. S.,
85: Design and Implementation of MP, a Protocol for Efficient
86: Exchange of Mathematical Expressions,
87: {\sl Journal of Symbolic Computation}, 19??.
1.4 ! takayama 88: \bibitem{gap}
! 89: Linton, S. and Solomon, A.,
! 90: OpenMath, IAMC and {\tt GAP},
! 91: preprint, 1999.
! 92: \bibitem{asir}
! 93: Noro, M. et al. Risa/Asir.
1.3 takayama 94: \bibitem{NT}
95: Noro, M and Takayama, N., Design and Implementation
96: of OpenXM, (in Japanese) 1996 -- 2000.
97: \bibitem{kan}
98: Takayama, N.,
99: {\em Kan: A system for computation in
100: algebraic analysis,} 1991 version 1,
101: 1994 version 2, the latest version is 2.991106.
102: Source code available for Unix computers.
1.4 ! takayama 103: Contact the author, or download from \\
1.3 takayama 104: {\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
1.4 ! takayama 105: See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/}
1.3 takayama 106: \bibitem{phc}
107: Verschelde, J.,
108: PHCpack: A general-purpose solver for polynomial systems by
109: homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2)
110: 251-276, 1999.
1.1 takayama 111: \end{thebibliography}
112: \end{document}
113: \endinput
114: %%
115:
116:
117: %%Text may be set as \emph{emph}.\\
118: %%Text may be set as \texttt{texttt}.\\
119: %%Text may be set as \underline{unterline}.\\
120: %%Text may be set as \textbf{textbf}.\\
121: %%Text may be set as \textrm{textrm}.\\
122: %%Text may be set as {\tiny tiny}.\\
123:
124: %%\begin{figure}
125: %%\hrule
126: %%Nice Postscript, isn't it?
127: %%\begin{center}
128: %%\IfFileExists{graphicx.sty}{
129: %% \includegraphics{body.eps}
130: %%}{
131: %% Sorry, package \texttt{graphicx} not present.
132: %%}
133: %%\end{center}
134: %%Same, a little bit smaller:
135: %%\begin{center}
136: %%\IfFileExists{graphicx.sty}{
137: %% \includegraphics[scale=.5]{body.eps}
138: %% }{
139: %% Sorry, package \texttt{graphicx} not present.
140: %%}
141: %%\end{center}
142: %%\caption{\label{fig-1}This is a nice floating figure}
143: %%\hrule
144: %%\end{figure}
145:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>