OpenXM/doc/calc2000/design-outline.tex - diff

Return to design-outline.tex CVS log

Up to [local] / OpenXM / doc / calc2000

version 1.2, 2000/04/24 05:01:29

version 1.3, 2000/04/24 06:38:27

Line 1

% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.1.1.1 2000/04/24 04:20:11 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}

Line 156 system. It provides almost

all functinalities of Risa/Asir such as polynomial factorization,

Gr\"obner basis computation and primary ideal decomposition.

\item{\tt ox\_sm1}

A server for Kan/sm1 \cite{kan}, a system for computation in algebraic

A server for Kan/sm1 \cite{kan}, a system for computation in

analysis.

the ring of differential operators including computation of Gr\"obner bases

\item {\tt ox\_sm1\_phc}

and cohomology groups.

\item {\tt ox\_phc}

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

all Gr\"obner bases of affine toric ideals.

It can be used to determine the state polytope

of a given affine toric ideal.

\item {\tt ox\_sm1\_gnuplot}

\item {\tt ox\_gnuplot}

A server for GNUPLOT, a famous plotting tool.

\item {\tt ox\_math}

A server for Mathematica.

\item {\tt OMproxy}

A server for translation between CMO and OpenMath/XML expressions.

It is written in Java.

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

can act as clients.