@inproceedings{483938d71f2b476aaeb2318e99859d25,
title = "Interoperating between computer algebra systems: Computing homology of groups with kenzo and GAP",
abstract = "In this paper we report on an experience communicating between the GAP computional algebra system (in particular, its HAP package for homological algebra computations) and the Kenzo computer system for Algebraic Topology. Both systems were made to cooperate through an OpenMath link in order to perform computations in group cohomology. Furthermore, once HAP output is integrated into Kenzo, it can be used to compute more complicated algebraic invariants such as the homology groups of various 2-types.",
keywords = "GAP, Group cohomology, Interoperability, Kenzo, OpenMath",
author = "Ana Romero and Graham Ellis and Julio Rubio",
year = "2009",
doi = "10.1145/1576702.1576744",
language = "English",
isbn = "9781605586090",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
pages = "303--310",
booktitle = "ISSAC 2009 - Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation",
note = "2009 International Symposium on Symbolic and Algebraic Computation, ISSAC 2009 ; Conference date: 28-07-2009 Through 31-07-2009",
}