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...
| Autores: | , , , |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2011 |
| País: | España |
| Recursos: | Universidad de La Rioja (UR) |
| Repositorio: | RIUR. Repositorio Institucional de la Universidad de La Rioja |
| OAI Identifier: | oai:portal.dialnet.es:doc/5bbc683fb750603269e80566 |
| Acesso em linha: | https://investigacion.unirioja.es/documentos/5bbc683fb750603269e80566 |
| Access Level: | acceso abierto |
| Palavra-chave: | Constructive Algebraic Topology Symbolic computation systems User interface |
| Resumo: | 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. |
|---|