Mediated access to Symbolic Computation Systems

  1. Heras, J. 1
  2. Pascual, V. 1
  3. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Zeitschrift:
Lecture Notes in Computer Science

ISSN: 0302-9743

Datum der Publikation: 2008

Ausgabe: 5144 LNAI

Nummer: 5144

Seiten: 446-461

Art: Artikel

beta Ver similares en nube de resultados
DOI: 10.1007/978-3-540-85110-3_37 SCOPUS: 2-s2.0-51049096388 WoS: WOS:000258392600036 GOOGLE SCHOLAR lock_openOpen Access editor

Andere Publikationen in: Lecture Notes in Computer Science

Projekte im Zusammenhang

Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad

2006/00092/001

Zusammenfassung

Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research tool. The challenge is now to increase the number of users and to improve its usability. Instead of designing simply a friendly front-end, we have undertaken the task of devising a mediated access to the system, constraining its functionality, but providing guidance to the user in his navigation on the system. This objective is reached by constructing an intermediary layer, allowing us an intelligent access to some features of the system. This intermediary layer is supported by XML technology and interplays between a graphical user interface and the pure Common Lisp Kenzo system. © 2008 Springer-Verlag Berlin Heidelberg.