Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP

DOI10.1145/1576702.1576744MaRDI QIDQ2883832zbMATH OpenOpenAlexFDO

Authors Ana Romero, Graham Ellis, Julio Rubio

Publication date 13 May 2012

Published in Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1576702.1576744

zbMATH Keywords

\texttt{GAP}\texttt{HAP package}\texttt{Kenzo}

Mathematics Subject Classification ID

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

Recommendations

• Computing the homology of groups: the geometric way.
• A system for computing and reasoning in algebraic topology
• A primer on computational group homology and cohomology
• Computing Bredon homology of groups
• fKenzo: a user interface for computations in algebraic topology

Cited in

(14)

• fKenzo: a user interface for computations in algebraic topology
• scientific article; zbMATH DE number 5976765 (Why is no real title available?)
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Computing the homology of groups: the geometric way.
• Computational homology of \(n\)-types
• Interfacing Coq + SSReflect with GAP
• A system for computing and reasoning in algebraic topology
• Homotopy groups of suspended classifying spaces: an experimental approach
• Mediated Access to Symbolic Computation Systems
• Computational Science – ICCS 2005
• A Kenzo interface for algebraic topology computations in SageMath
• Rational homotopy type and computability
• Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.
• Homological models for semidirect products of finitely generated Abelian groups.

Describes a project that uses

Uses Software

• GAP
• Kenzo
• HAP
• OpenMath

This page was built for publication: Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883832)