% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.2 2000/07/21 01:34:53 takayama Exp $
\documentclass{slides}
\usepackage{color}
\begin{document}
\fbox{{\huge \color{blue} OpenXM Clients}}

\noindent
{\color{red} Asir} (Risa/Asir):
A general computer algebra system developed at Fujitsu Lab.
C-like top level language.

\noindent
{\color{red} Java} :
Java classes to access to servers.

\noindent
{\color{red} KLIC } :
  A {\color{green} concurrent logic} programming language based
on Guarded Horn Clauses (born in the fifth generation computer project). \\
 {\color{green} www.klic.org}, 
 {\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp).

\noindent
{\color{red} Mathematica}  : http://www.wolfram.com

\noindent
{\color{red} sm1} :
Postscript-like top level language

\bigbreak
\noindent
Comming soon: Ruby and Macaulay 2 clients.
Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers, ox\_gnuplot,
omProxy, ox\_math. Work on progress for many new servers.

\medbreak
\noindent
\rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }}


\end{document}