[BACK]Return to issac2000.tex CVS log [TXT][DIR] Up to [local] / OpenXM / src / kxx

Diff for /OpenXM/src/kxx/Attic/issac2000.tex between version 1.2 and 1.5

version 1.2, 1999/12/15 10:47:53 version 1.5, 1999/12/16 12:19:27
Line 1 
Line 1 
 %$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.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 7 
Line 7 
 \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 54  It provides methods and protocols 
Line 54  It provides methods and protocols 
 to integrate various mathematical softwares.  to integrate various mathematical softwares.
 \OpenXM package is a set of softwares that supports \OpenXM protocols.  \OpenXM package is a set of softwares that supports \OpenXM protocols.
 It is currently a collection of softwares  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 Mathematica} interface, and
 {\tt OpenMath} 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{Applications}  \section{Applications}
   
 \begin{thebibliography}{X}  \begin{thebibliography}{X}
 \bibitem[1]{NT} Noro and Takayama: {\em Design and Implementation  \bibitem{OpenMath}
 of OpenXM}, 1996 -- 2000.  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{thebibliography}
 \end{document}  \end{document}
 \endinput  \endinput
Line 108  of OpenXM}, 1996 -- 2000.
Line 148  of OpenXM}, 1996 -- 2000.
 %%\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}
   
   
   
   
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>