=================================================================== RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v retrieving revision 1.2 retrieving revision 1.6 diff -u -p -r1.2 -r1.6 --- OpenXM/src/kxx/Attic/issac2000.tex 1999/12/15 10:47:53 1.2 +++ OpenXM/src/kxx/Attic/issac2000.tex 1999/12/17 09:22:29 1.6 @@ -1,4 +1,4 @@ -%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.1 1999/12/14 09:31:40 takayama Exp $ +%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.5 1999/12/16 12:19:27 takayama Exp $ %% You need acmconf.cls and flushend.sty to compile this file. %% They may be obtained from %% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ @@ -7,7 +7,7 @@ \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} \ConferenceShortName{ISSAC2000} -\def\OpenXM{{\tt OpenXM}} +\def\OpenXM{{\tt OpenXM\ }} \begin{document} \date{January 16, 2000} @@ -23,7 +23,7 @@ \and \Author{Katsuyoshi Ohara}\\ \Address{Kanazawa University}\\ - \Email{ohara@alpha.s.kanazawa-u.ac.jp} + \Email{ohara@air.s.kanazawa-u.ac.jp} \and \Author{Yukio Okutani}\\ \Address{Kobe University}\\ @@ -54,26 +54,70 @@ It provides methods and protocols to integrate various mathematical softwares. \OpenXM package is a set of softwares that supports \OpenXM protocols. It is currently a collection of softwares -{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{sm1}, {\tt PHC} pack, {\tt GNUPLOT}, +{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, {\tt Mathematica} interface, and -{\tt OpenMath} interface. +{\tt OpenMath}/XML \cite{OpenMath}interface. More and more softwares are wrapped with the \OpenXM stackmachine; they are getting a member of \OpenXM package. -\section{Design outline} +\section{Design Outline} (Takayama) -\section{Data Format} +\section{Data Format} (Ohara) -\section{OpenXM Stackmachines} +\section{OpenXM Stackmachines} (Tamura) -\section{OpenXM Clients} +\section{Session Management} (Noryo) +\section{OpenXM Clients} + +\section{OpenXM Development Environment} (Maekawa) + \section{Applications} +\subsection{Homogeneous Network} (Noro) +\subsection{Heterotic Network} (Takayama) \begin{thebibliography}{X} -\bibitem[1]{NT} Noro and Takayama: {\em Design and Implementation -of OpenXM}, 1996 -- 2000. +\bibitem{OpenMath} +The OpenMath Esprit Consortium +(Caprotti, O. and Cohen, A.M. Editors), +The OpenMath Standard. D1.3.2a (Public) \\ +{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath}, +February, 1999. +\bibitem{GKW} +Gray, S., Kajler, N. and Wang, P. S., +Design and Implementation of MP, a Protocol for Efficient + Exchange of Mathematical Expressions, +{\sl Journal of Symbolic Computation}, 19??. +\bibitem{gap} +Linton, S. and Solomon, A., +OpenMath, IAMC and {\tt GAP}, +preprint, 1999. +\bibitem{asir} +Noro, T. et al., +A Computer Algebra System {\tt Risa/Asir}, 1993, 1995\\ +{\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir} +\bibitem{NT} +Noro, M and Takayama, N., Design and Implementation +of OpenXM, (in Japanese) 1996, 1997, 1998, 1999. +\bibitem{kan} + Takayama, N., + {\em Kan: A system for computation in + algebraic analysis,} 1991 version 1, + 1994 version 2, the latest version is 2.991106. + Source code available for Unix computers. + Contact the author, or download from \\ + {\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. + See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/} +\bibitem{phc} +Verschelde, J., +PHCpack: A general-purpose solver for polynomial systems by +homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) +251-276, 1999. +\bibitem{iamc} +Wang, P., +Design and Protocol for Internet Accessible Mathematical Computation. +Technical Report ICM-199901-001, ICM/Kent State University, 1999. \end{thebibliography} \end{document} \endinput @@ -108,4 +152,7 @@ of OpenXM}, 1996 -- 2000. %%\caption{\label{fig-1}This is a nice floating figure} %%\hrule %%\end{figure} + + +