Noesis: Towards a situational method engineering technique
Information Systems
Mediated Access to Symbolic Computation Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Declarative Programming of User Interfaces
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A system for computing and reasoning in algebraic topology
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Mathematical knowledge management in algebraic topology
ACM Communications in Computer Algebra
| Hi-index | 0.00 |
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.