Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach

  1. Andrés, M. 1
  2. Pascual, V. 1
  3. Romero, A. 1
  4. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Revista:
Lecture Notes in Computer Science

ISSN: 0302-9743

Año de publicación: 2005

Volumen: 3516

Número: III

Páginas: 635-642

Tipo: Artículo

beta Ver similares en nube de resultados

Otras publicaciones en: Lecture Notes in Computer Science

Resumen

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. © Springer-Verlag Berlin Heidelberg 2005.