fKenzo: a user interface for computations in Algebraic Topology

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

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

  2. 2 Joseph Fourier University
    info

    Joseph Fourier University

    Grenoble, Francia

    ROR https://ror.org/02aj0kh94

Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Año de publicación: 2011

Volumen: 46

Número: 6

Páginas: 685-698

Tipo: Artículo

DOI: 10.1016/J.JSC.2011.01.005 SCOPUS: 2-s2.0-79952489523 WoS: WOS:000289339800004 GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Journal of Symbolic Computation

Repositorio institucional: lock_openAcceso abierto Editor

Proyectos relacionados

Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

2009/00207/001

Resumen

fKenzo (= friendly Kenzo) is a graphical user interface providing a user-friendly front-end for the Kenzo system, a Common Lisp program devoted to Algebraic Topology. The fKenzo system provides the user interface itself, an XML intermediary generator-translator and, finally the Kenzo kernel. We describe in this paper the main points of fKenzo, and we explain also the advantages and limitations of fKenzo with respect to Kenzo itself. The text is separated into two parts, trying to cover both the user and the developer perspectives. © 2011 Elsevier Ltd.