×

Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP. (English) Zbl 1237.68260

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 303-310 (2009).

MSC:

68W30 Symbolic computation and algebraic computation
20J06 Cohomology of groups

Keywords:

Kenzo; GAP; HAP package

Software:

OpenMath; GAP; Kenzo; HAP
PDF BibTeX XML Cite
Full Text: DOI