fKenzo: a user interface for computations in Algebraic Topology

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 desc...

Descripción completa

Detalles Bibliográficos
Autores: Heras, J. [0000-0003-4775-1306], Pascual, V. [0000-0003-3576-0889], Rubio, J. [0000-0002-4282-3692], Sergeraert, F. [0000-0002-8927-1442]
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2011
País:España
Institución:Universidad de La Rioja (UR)
Repositorio:RIUR. Repositorio Institucional de la Universidad de La Rioja
OAI Identifier:oai:portal.dialnet.es:doc/5bbc683fb750603269e80566
Acceso en línea:https://investigacion.unirioja.es/documentos/5bbc683fb750603269e80566
Access Level:acceso abierto
Palabra clave:Constructive Algebraic Topology
Symbolic computation systems
User interface
id ES_c4838dfee3c4453d6f3f4ffbe9659e1d
oai_identifier_str oai:portal.dialnet.es:doc/5bbc683fb750603269e80566
network_acronym_str ES
network_name_str España
repository_id_str
spelling fKenzo: a user interface for computations in Algebraic TopologyHeras, J. [0000-0003-4775-1306]Pascual, V. [0000-0003-3576-0889]Rubio, J. [0000-0002-4282-3692]Sergeraert, F. [0000-0002-8927-1442]Constructive Algebraic TopologySymbolic computation systemsUser interfacefKenzo (= 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.2011info:eu-repo/semantics/articleSubtype: Articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://investigacion.unirioja.es/documentos/5bbc683fb750603269e80566reponame:RIUR. Repositorio Institucional de la Universidad de La Riojainstname:Universidad de La Rioja (UR)Inglésinfo:eu-repo/semantics/altIdentifier/doi/10.1016/J.JSC.2011.01.005info:eu-repo/semantics/altIdentifier/wos/WOS:000289339800004info:eu-repo/semantics/altIdentifier/pissn/0747-7171fKenzo: a user interface for computations in Algebraic Topology, 2011, vol. 46, núm. 6, pág. 685-698info:eu-repo/semantics/openAccessoai:portal.dialnet.es:doc/5bbc683fb750603269e805662026-06-14T12:47:17Z
dc.title.none.fl_str_mv fKenzo: a user interface for computations in Algebraic Topology
title fKenzo: a user interface for computations in Algebraic Topology
spellingShingle fKenzo: a user interface for computations in Algebraic Topology
Heras, J. [0000-0003-4775-1306]
Constructive Algebraic Topology
Symbolic computation systems
User interface
title_short fKenzo: a user interface for computations in Algebraic Topology
title_full fKenzo: a user interface for computations in Algebraic Topology
title_fullStr fKenzo: a user interface for computations in Algebraic Topology
title_full_unstemmed fKenzo: a user interface for computations in Algebraic Topology
title_sort fKenzo: a user interface for computations in Algebraic Topology
dc.creator.none.fl_str_mv Heras, J. [0000-0003-4775-1306]
Pascual, V. [0000-0003-3576-0889]
Rubio, J. [0000-0002-4282-3692]
Sergeraert, F. [0000-0002-8927-1442]
author Heras, J. [0000-0003-4775-1306]
author_facet Heras, J. [0000-0003-4775-1306]
Pascual, V. [0000-0003-3576-0889]
Rubio, J. [0000-0002-4282-3692]
Sergeraert, F. [0000-0002-8927-1442]
author_role author
author2 Pascual, V. [0000-0003-3576-0889]
Rubio, J. [0000-0002-4282-3692]
Sergeraert, F. [0000-0002-8927-1442]
author2_role author
author
author
dc.subject.none.fl_str_mv Constructive Algebraic Topology
Symbolic computation systems
User interface
topic Constructive Algebraic Topology
Symbolic computation systems
User interface
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/article
Subtype: Article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://investigacion.unirioja.es/documentos/5bbc683fb750603269e80566
url https://investigacion.unirioja.es/documentos/5bbc683fb750603269e80566
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1016/J.JSC.2011.01.005
info:eu-repo/semantics/altIdentifier/wos/WOS:000289339800004
info:eu-repo/semantics/altIdentifier/pissn/0747-7171
fKenzo: a user interface for computations in Algebraic Topology, 2011, vol. 46, núm. 6, pág. 685-698
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:RIUR. Repositorio Institucional de la Universidad de La Rioja
instname:Universidad de La Rioja (UR)
instname_str Universidad de La Rioja (UR)
reponame_str RIUR. Repositorio Institucional de la Universidad de La Rioja
collection RIUR. Repositorio Institucional de la Universidad de La Rioja
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418887779450880
score 15,301603

Similares en LA Referencia