Return to client.tex CVS log

Up to [local] / OpenXM / doc / calc2000p

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

1.2     ! takayama    1: % $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 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
        !            37: \noindent
        !            38: \rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }}
1.1       takayama   39:
                     40:
                     41: \end{document}