| version 1.1, 2000/04/24 04:20:11 |
version 1.3, 2000/04/24 06:38:27 |
|
|
| % $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 |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to design-outline.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / calc2000