Return to client.tex CVS log

Up to [local] / OpenXM / doc / calc2000p

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

1.1     ! takayama    1: % $OpenXM$
        !             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). \\
        !            20:  {\color{green} www.klic.org}, {\color{red} MGTP} (Theorem prover).
        !            21:
        !            22: \noindent
        !            23: {\color{red} Mathematica}
        !            24:
        !            25: \noindent
        !            26: {\color{red} sm1} :
        !            27: Postscript-like top level language
        !            28:
        !            29:
        !            30:
        !            31: \end{document}