×

fKenzo: a user interface for computations in algebraic topology. (English) Zbl 1211.55002

Summary: 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.

MSC:

55-04 Software, source code, etc. for problems pertaining to algebraic topology
68W30 Symbolic computation and algebraic computation

Software:

fKenzo; OMDoc; Kenzo
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Berciano, A.; Rubio, J.; Sergeraert, F., A case study of \(A_\infty \)-structure, Georgian Mathematical Journal, 17, 57-77 (2010) · Zbl 1196.18001
[2] Buschmann, F.; Meunier, R.; Rohnert, H.; Sommerland, P.; Stal, M., Pattern-oriented software architecture, (A System of Patterns, vol. 1 (1996), Wiley)
[3] Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaétano, M., Kohlhase, M., 2004. OpenMath Version 2.0. http://www.openmath.org/; Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaétano, M., Kohlhase, M., 2004. OpenMath Version 2.0. http://www.openmath.org/
[4] Cordero, C. C.; Miguel, A. D.; Domínguez, E.; Zapata, M. A., Modelling interactive systems: an architecture guided by communication objects, (HCI Related Papers of Interaccion 2004 (2006), Springer), 345-357
[5] Domínguez, E.; Zapata, M. A., Noesis: towards a situational method engineering technique, Information Systems, 32, 2, 181-222 (2007)
[6] Dousson, X., Sergeraert, F., Siret, Y., 1999. The Kenzo program. Institut Fourier, Grenoble, http://www-fourier.ujf-grenoble.fr/ sergerar/Kenzo/; Dousson, X., Sergeraert, F., Siret, Y., 1999. The Kenzo program. Institut Fourier, Grenoble, http://www-fourier.ujf-grenoble.fr/ sergerar/Kenzo/
[7] Hanus, M.; Kluß, C., Declarative programming of user interfaces, (Lecture Notes in Computer Science, vol. 5418 (2009)), 16-30
[8] Heras, J., 2009. fKenzohttp://www.unirioja.es/cu/joheras/; Heras, J., 2009. fKenzohttp://www.unirioja.es/cu/joheras/
[9] Heras, J.; Pascual, V.; Rubio, J., Mediated acces to symbolic computation systems, (Lecture Notes in Artificial Intelligence, vol. 5144 (2008)), 446-461 · Zbl 1166.68376
[10] Heras, J.; Pascual, V.; Rubio, J., Using open mathematical documents to interface computer algebra and proof assistant systems, (Lecture Notes in Artificial Intelligence, vol. 5625 (2009)), 467-473 · Zbl 1247.68271
[11] Hyatt, D., Goodger, B., Hickson, I., Waterson, C., 2001. XML User Interface Language (XUL) 1.0. http://www.mozilla.org/projects/xul/; Hyatt, D., Goodger, B., Hickson, I., Waterson, C., 2001. XML User Interface Language (XUL) 1.0. http://www.mozilla.org/projects/xul/
[12] Kadeishvili, T., 2008. Operadic algebraic topology. Ictp-Map 2008 Summer School. http://map.disi.unige.it/ictp/lectures_files/Kadeishvili_L.pdf; Kadeishvili, T., 2008. Operadic algebraic topology. Ictp-Map 2008 Summer School. http://map.disi.unige.it/ictp/lectures_files/Kadeishvili_L.pdf
[13] Kohlhase, M., OMDoc — An open markup format for mathematical documents [Version 1.2] (2006), Springer
[14] May, J. P., Simplicial Objects in Algebraic Topology (1967), Van Nostrand · Zbl 0165.26004
[15] Romero, A.; Rubio, J.; Sergeraert, F., Computing spectral sequences, Journal of Symbolic Computation, 41, 10, 1059-1079 (2006) · Zbl 1132.55008
[16] Rubio, J.; Sergeraert, F., Homologie effective et suites spectrales d’Eilenberg-Moore, Comptes Rendus de l’Académie Sciences Paris, 306, 17, 723-726 (1988) · Zbl 0644.57026
[17] Rubio, J.; Sergeraert, F., Constructive algebraic topology, Bulletin des Sciences Mathématiques, 126, 5, 389-412 (2002) · Zbl 1007.55019
[18] Schneiderman, B., Designing the User Interface (1998), Addison Wesley
[19] Sergeraert, F., The computability problem in algebraic topology, Advances in Mathematics, 104, 1-29 (1994) · Zbl 0823.55011
[20] Sergeraert, F., 2010. Triangulations of complex projective spaces. In: Contribuciones Científicas en Honor de Mirian Andrés. pp. 507-519. http://www.unirioja.es/servicios/sp/catalogo/monografias/vr77.shtml; Sergeraert, F., 2010. Triangulations of complex projective spaces. In: Contribuciones Científicas en Honor de Mirian Andrés. pp. 507-519. http://www.unirioja.es/servicios/sp/catalogo/monografias/vr77.shtml · Zbl 1208.55003
[21] Stasheff, J. D., Homotopy associativity of \(H\)-spaces, I, II, Transactions of the American Mathematical Society, 108, 275-292 (1963), 293-312 · Zbl 0114.39402
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.