[BACK]Return to client.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / calc2000p

File: [local] / OpenXM / doc / calc2000p / client.tex (download)

Revision 1.1, Thu Jul 20 07:05:28 2000 UTC (23 years, 10 months ago) by takayama
Branch: MAIN

Poster "clients"

% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 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} (Theorem prover).

\noindent
{\color{red} Mathematica} 

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



\end{document}