[BACK]Return to design-outline.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / calc2000

Diff for /OpenXM/doc/calc2000/design-outline.tex between version 1.1 and 1.3

version 1.1, 2000/04/24 04:20:11 version 1.3, 2000/04/24 06:38:27
Line 1 
Line 1 
 % $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.13 2000/01/17 08:06:15 noro Exp $  % $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.2 2000/04/24 05:01:29 noro Exp $
   
 \section{Integration of Mathematical Software}  \section{Integration of Mathematical Software}
   
Line 149  OpenXM package  is implemented on above fundamental ar
Line 149  OpenXM package  is implemented on above fundamental ar
 Currently the following servers are available in the OpenXM package  Currently the following servers are available in the OpenXM package
 \cite{openxm-web}.  \cite{openxm-web}.
   
 \begin{itemize}  \begin{description}
 \item {\tt ox\_asir}  \item{\tt ox\_asir}
   
 A server for Risa/Asir, a general-purpose computer algebra  A server for Risa/Asir, a general-purpose computer algebra
 system. It provides almost  system. It provides almost
 all functinalities of Risa/Asir such as polynomial factorization,  all functinalities of Risa/Asir such as polynomial factorization,
 Gr\"obner basis computation and primary ideal decomposition.  Gr\"obner basis computation and primary ideal decomposition.
 \item {\tt ox\_sm1}  \item{\tt ox\_sm1}
   A server for Kan/sm1 \cite{kan}, a system for computation in
 A server for Kan/sm1 \cite{kan}, a system for computation in algebraic  the ring of differential operators including computation of Gr\"obner bases
 analysis.  and cohomology groups.
   \item {\tt ox\_phc}
 \item {\tt ox\_sm1\_phc}  
   
 A server for PHC pack \cite{phc}, a general-purpose solver for  A server for PHC pack \cite{phc}, a general-purpose solver for
 polynomial systems by homotopy continuation. It is available only  polynomial systems by homotopy continuation.
 on Linux.  \item {\tt ox\_tigers}
   
 \item {\tt ox\_sm1\_tigers}  
   
 A server for TiGERS \cite{tigers}, a system to enumerate  A server for TiGERS \cite{tigers}, a system to enumerate
 all Gr\"obner bases of affine toric ideals.  all Gr\"obner bases of affine toric ideals.
 It can be used to determine the state polytope  It can be used to determine the state polytope
 of a given affine toric ideal.  of a given affine toric ideal.
   \item {\tt ox\_gnuplot}
 \item {\tt ox\_sm1\_gnuplot}  
   
 A server for GNUPLOT, a famous plotting tool.  A server for GNUPLOT, a famous plotting tool.
 \item {\tt ox\_math}  \item {\tt ox\_math}
   
 A server for Mathematica.  A server for Mathematica.
   
 \item {\tt OMproxy}  \item {\tt OMproxy}
   
 A server for translation between CMO and OpenMath/XML expressions.  A server for translation between CMO and OpenMath/XML expressions.
 It is written in Java.  It is written in Java.
 \end{itemize}  This module provides Java classes OXmessage, CMO, and SM
   for the OpenXM protocol, too.
   \end{description}
 In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica  In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica
 can act as clients.  can act as clients.
 For example, the following is a command sequence to ask $1+1$ from  For example, the following is a command sequence to ask $1+1$ from

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.3

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>