Treffer: Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.

Kenzo is a Symbolic Computation system created by Sergeraert for computing in Algebraic Topology. It is programmed in Common Lisp and this programming language also acts as user interface. In this paper, a prototype to provide remote access for Kenzo is presented. This has been accomplished by using Corba technology: clients have been developed both in Java and Common Lisp (the server is always in Common Lisp, being a wrapper of the original Kenzo program). Instead of using one CORBA IDL to encode each data structure, our approach incorporates a generic way of transfering every data structure through XML strings; specifically, by means of an XML extension of MathML. This research should be understood as a first step towards building a distributed computation system for Algebraic Topology. [ABSTRACT FROM AUTHOR]

Copyright of Computational Science - ICCS 2005 (9783540260448) is the property of Springer eBooks and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)