=================================================================== RCS file: /home/cvs/OpenXM/doc/issac2000/issac2000.tex,v retrieving revision 1.5 retrieving revision 1.12 diff -u -p -r1.5 -r1.12 --- OpenXM/doc/issac2000/issac2000.tex 2000/01/15 01:33:32 1.5 +++ OpenXM/doc/issac2000/issac2000.tex 2000/01/17 08:50:56 1.12 @@ -1,4 +1,4 @@ -%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.4 2000/01/07 06:27:55 noro Exp $ +%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.11 2000/01/17 08:06:15 noro 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 @@ %% \CopyrightText{\copyright 2000, } \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{} \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} -\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000} +\ConferenceName{ISSAC 2000, St. Andrews, UK, 2000} \ConferenceShortName{ISSAC2000} \def\OpenXM{{\rm OpenXM\ }} @@ -46,15 +46,15 @@ softwares. It provides methods and protocols for interactive distributed computation and -to integrate many kind of mathematical softwares. +for integrating 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{kan}, {\tt PHC} pack \cite{phc}, {\tt GNUPLOT}, {\tt Mathematica} interface, and -{\tt OpenMath}/XML \cite{OpenMath} interpreter. -These are wrapped with the \OpenXM stackmachine +{\tt OpenMath}/XML \cite{OpenMath} translator. +These are wrapped with the \OpenXM stack machine to connect each other. -{\it Availability}: The OpenXM package is obtainable from \cite{openxm-web} +{\it Availability}: The OpenXM package is obtainable at \cite{openxm-web} from January 24, 2000. \end{abstract} @@ -81,8 +81,8 @@ MP, OpenMath, OpenXM. \input{openxm-development-environment} -\input{homogeneous-network} \input{heterotic-network} +\input{homogeneous-network} \input{bib} \end{document}