Return to client.tex CVS log

Up to [local] / OpenXM / doc / calc2000p

Annotation of OpenXM/doc/calc2000p/client.tex, Revision 1.3

1.3     ! takayama    1: % $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.2 2000/07/21 01:34:53 takayama Exp $
1.1       takayama    2: \documentclass{slides}
                      3: \usepackage{color}
                      4: \begin{document}
                      5: \fbox{{\huge \color{blue} OpenXM Clients}}
                      6:
                      7: \noindent
                      8: {\color{red} Asir} (Risa/Asir):
                      9: A general computer algebra system developed at Fujitsu Lab.
                     10: C-like top level language.
                     11:
                     12: \noindent
                     13: {\color{red} Java} :
                     14: Java classes to access to servers.
                     15:
                     16: \noindent
                     17: {\color{red} KLIC } :
                     18:   A {\color{green} concurrent logic} programming language based
                     19: on Guarded Horn Clauses (born in the fifth generation computer project). \\
1.2       takayama   20:  {\color{green} www.klic.org},
                     21:  {\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp).
1.1       takayama   22:
                     23: \noindent
1.2       takayama   24: {\color{red} Mathematica}  : http://www.wolfram.com
1.1       takayama   25:
                     26: \noindent
                     27: {\color{red} sm1} :
                     28: Postscript-like top level language
                     29:
1.2       takayama   30: \bigbreak
                     31: \noindent
                     32: Comming soon: Ruby and Macaulay 2 clients.
                     33: Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers, ox\_gnuplot,
                     34: omProxy, ox\_math. Work on progress for many new servers.
                     35:
                     36: \medbreak
1.3     ! takayama   37: \vfill
1.2       takayama   38: \noindent
                     39: \rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }}
1.1       takayama   40:
                     41:
                     42: \end{document}