OpenXM/doc/issac2000/issac2000.tex - diff

Return to issac2000.tex CVS log

Up to [local] / OpenXM / doc / issac2000

version 1.2, 2000/01/02 07:32:12

version 1.3, 2000/01/03 04:27:52

Line 1

%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.1 1999/12/23 10:25:08 takayama Exp $

%$OpenXM: OpenXM/doc/issac2000/issac2000.tex,v 1.2 2000/01/02 07:32:12 takayama Exp $

%% You need acmconf.cls and flushend.sty to compile this file.

%% They may be obtained from

Line 8

\IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}

\ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}

\ConferenceShortName{ISSAC2000}

\def\OpenXM{{\tt OpenXM\ }}

\def\OpenXM{{\rm OpenXM\ }}

\begin{document}

\date{January 16, 2000}

Line 41

\maketitle

\begin{abstract}

This is an abstract.

\end{abstract}

\begin{keywords}

OpenMath, MP, OpenXM.

\end{keywords}

\section{Introduction}

\OpenXM is a free, or Open Source, infrastructure for mathematical

softwares.

It provides methods and protocols

Line 61 It is currently a collection of softwares

Line 53 It is currently a collection of softwares

More and more softwares are wrapped with the \OpenXM stackmachine;

they are getting a member of \OpenXM package. \\

{\it Availability}: The OpenXM package is obtainable from \cite{openxm-web}.

\end{abstract}

\begin{keywords}

Asir,

IAMC, Interactive Distributed Computation,

Integration of Mathematical Softwares,

MP, OpenMath, OpenXM.

\end{keywords}

%\section{Introduction}

\input{design-outline}