version 1.3, 1999/12/15 11:46:40 |
version 1.4, 1999/12/16 04:23:27 |
|
|
%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.2 1999/12/15 10:47:53 takayama Exp $ |
%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 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/ |
|
|
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} |
\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} |
\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} |
\ConferenceShortName{ISSAC2000} |
\ConferenceShortName{ISSAC2000} |
\def\OpenXM{{\tt OpenXM}} |
\def\OpenXM{{\tt OpenXM\ }} |
|
|
\begin{document} |
\begin{document} |
\date{January 16, 2000} |
\date{January 16, 2000} |
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{Applications} |
\section{Applications} |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{asir} hogehoge. |
\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} |
\bibitem{GKW} |
Gray, S., Kajler, N. and Wang, P. S., |
Gray, S., Kajler, N. and Wang, P. S., |
Design and Implementation of MP, a Protocol for Efficient |
Design and Implementation of MP, a Protocol for Efficient |
Exchange of Mathematical Expressions, |
Exchange of Mathematical Expressions, |
{\sl Journal of Symbolic Computation}, 19??. |
{\sl Journal of Symbolic Computation}, 19??. |
|
\bibitem{gap} |
|
Linton, S. and Solomon, A., |
|
OpenMath, IAMC and {\tt GAP}, |
|
preprint, 1999. |
|
\bibitem{asir} |
|
Noro, M. et al. Risa/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 -- 2000. |
Line 87 of OpenXM, (in Japanese) 1996 -- 2000. |
|
Line 100 of OpenXM, (in Japanese) 1996 -- 2000. |
|
algebraic analysis,} 1991 version 1, |
algebraic analysis,} 1991 version 1, |
1994 version 2, the latest version is 2.991106. |
1994 version 2, the latest version is 2.991106. |
Source code available for Unix computers. |
Source code available for Unix computers. |
Contact the author, or download from |
Contact the author, or download from \\ |
{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. |
{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp. |
See also {\tt \small www.math.kobe-u.ac.jp/KAN/} |
See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/} |
\bibitem{phc} |
\bibitem{phc} |
Verschelde, J., |
Verschelde, J., |
PHCpack: A general-purpose solver for polynomial systems by |
PHCpack: A general-purpose solver for polynomial systems by |