Remote access to a symbolic computation system for algebraic topology: a client-server approach

Authors:
Mirian Andrés;Vico Pascual;Ana Romero;Julio Rubio
Affiliations:
Departamento de Matemáticas y Computación, Universidad de La Rioja;Departamento de Matemáticas y Computación, Universidad de La Rioja;Departamento de Matemáticas y Computación, Universidad de La Rioja;Departamento de Matemáticas y Computación, Universidad de La Rioja
Venue:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Year:
2005

Citing 1
Cited 1

Web Services: Concepts, Architectures and Applications

Web Services: Concepts, Architectures and Applications

Mediated Access to Symbolic Computation Systems

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.