version 1.4, 1999/12/16 04:23:27 |
version 1.5, 1999/12/16 12:19:27 |
|
|
%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 takayama Exp $ |
%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.4 1999/12/16 04:23:27 takayama Exp $ |
%% You need acmconf.cls and flushend.sty to compile this file. |
%% You need acmconf.cls and flushend.sty to compile this file. |
%% They may be obtained from |
%% They may be obtained from |
%% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ |
%% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ |
Line 56 to integrate various mathematical softwares. |
|
Line 56 to integrate various mathematical softwares. |
|
It is currently a collection of softwares |
It is currently a collection of softwares |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, |
{\tt Mathematica} interface, and |
{\tt Mathematica} interface, and |
{\tt OpenMath}/XML interface. |
{\tt OpenMath}/XML \cite{OpenMath}interface. |
More and more softwares are wrapped with the \OpenXM stackmachine; |
More and more softwares are wrapped with the \OpenXM stackmachine; |
they are getting a member of \OpenXM package. |
they are getting a member of \OpenXM package. |
|
|
|
|
\section{Design outline} |
\section{Design Outline} |
|
|
\section{Data Format} |
\section{Data Format} |
|
|
Line 69 they are getting a member of \OpenXM package. |
|
Line 69 they are getting a member of \OpenXM package. |
|
|
|
\section{OpenXM Clients} |
\section{OpenXM Clients} |
|
|
\section{OpenXM CVS server} |
\section{OpenXM CVS Server} |
|
|
\section{Applications} |
\section{Applications} |
|
|
Line 90 Linton, S. and Solomon, A., |
|
Line 90 Linton, S. and Solomon, A., |
|
OpenMath, IAMC and {\tt GAP}, |
OpenMath, IAMC and {\tt GAP}, |
preprint, 1999. |
preprint, 1999. |
\bibitem{asir} |
\bibitem{asir} |
Noro, M. et al. Risa/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} |
\bibitem{NT} |
Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |
of OpenXM, (in Japanese) 1996 -- 2000. |
of OpenXM, (in Japanese) 1996, 1997, 1998, 1999. |
\bibitem{kan} |
\bibitem{kan} |
Takayama, N., |
Takayama, N., |
{\em Kan: A system for computation in |
{\em Kan: A system for computation in |
|
|
PHCpack: A general-purpose solver for polynomial systems by |
PHCpack: A general-purpose solver for polynomial systems by |
homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) |
homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) |
251-276, 1999. |
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{thebibliography} |
\end{document} |
\end{document} |
\endinput |
\endinput |
Line 142 homotopy continuation. ACM Transaction on Mathematica |
|
Line 148 homotopy continuation. ACM Transaction on Mathematica |
|
%%\caption{\label{fig-1}This is a nice floating figure} |
%%\caption{\label{fig-1}This is a nice floating figure} |
%%\hrule |
%%\hrule |
%%\end{figure} |
%%\end{figure} |
|
|
|
|
|
|
|
|