[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.3 and 1.5

version 1.3, 1999/12/15 11:46:40 version 1.5, 1999/12/16 12:19:27
Line 1 
Line 1 
 %$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.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 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{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, 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
         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
 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 129  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}
   
   
   
   
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>