Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Towards the mathematics software bus
Theoretical Computer Science - Special volume on computer algebra
Noesis: Towards a situational method engineering technique
Information Systems
Remote access to a symbolic computation system for algebraic topology: a client-server approach
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
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
Integrating multiple sources to answer questions in algebraic topology
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
fKenzo: A user interface for computations in Algebraic Topology
Journal of Symbolic Computation
Teaching geometry with TutorMates
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
| Hi-index | 0.00 |
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research tool. The challenge is now to increase the number of users and to improve its usability. Instead of designing simply a friendly front-end, we have undertaken the task of devising a mediatedaccess to the system, constraining its functionality, but providing guidance to the user in his navigation on the system. This objective is reached by constructing an intermediary layer, allowing us an intelligentaccess to some features of the system. This intermediary layer is supported by XML technology and interplays between a graphical user interface and the pureCommon Lisp Kenzo system.