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

Return to design-outline.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

version 1.1, 2001/06/19 07:32:58

version 1.2, 2001/06/20 02:09:45

Line 1

% $OpenXM$

% $OpenXM: OpenXM/doc/ascm2001p/design-outline.tex,v 1.1 2001/06/19 07:32:58 noro Exp $

\section{Design Outline and OpenXM Request for Comments (OpenXM-RFC)}

Line 24 and a method to interrupt computations on servers from

RPC, HTTP, MPI, PVM are regarded as a general purpose control protocols or

infrastructures.

MCP (Mathematical Communication Protocol)

by Wang \cite{iamc} is such a protocol for mathematics.

by Wang \cite{iamc} and OMEI \cite{omei} are such protocols for mathematics.

Although data and control are orthogonal to each other,

real world requires both.

Line 75 These are usually ``expert'' systems in one area of ma

such as ideals, groups, numbers, polytopes, and so on.

They have their own interfaces and data formats,

which are fine for intensive users of these systems.

However, a unified system will be more convenient

However, a unified system will be more convenient.

for users who want to explore a new area of mathematics with these

%for users who want to explore a new area of mathematics with these

software or users who need these systems only occasionally.

%software or users who need these systems only occasionally.

\item We believe that an open integrated system is a future of mathematical

software.