Interoperating between computer algebra systems

DOI10.1145/1576702.1576744zbMath1237.68260OpenAlexW2047077589MaRDI QIDQ2883832

Ana Romero, Julio Jesús Rubio García, Graham J. Ellis

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

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

Related Items (8)

Homotopy groups of suspended classifying spaces: An experimental approach ⋮ Rational homotopy type and computability ⋮ Computing the homology of groups: the geometric way. ⋮ Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence. ⋮ Computational homology of \(n\)-types ⋮ Homological models for semidirect products of finitely generated Abelian groups. ⋮ A System for Computing and Reasoning in Algebraic Topology ⋮ Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

Uses Software

• GAP
• Kenzo
• HAP
• OpenMath

This page was built for publication: Interoperating between computer algebra systems