File: [local] / OpenXM / doc / calc2000p / client.tex (download)
Revision 1.2, Fri Jul 21 01:34:53 2000 UTC (23 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.1: +13 -3
lines
Correction of typos and styles.
|
% $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}