Pages that link to "Item:Q2883832"
From MaRDI portal
The following pages link to Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP (Q2883832):
Displaying 11 items.
- Computing the homology of groups: the geometric way. (Q420743) (← links)
- Computational homology of \(n\)-types (Q438686) (← links)
- Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence. (Q629345) (← links)
- Homological models for semidirect products of finitely generated Abelian groups. (Q714640) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- (Q3101174) (← links)
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems (Q3637304) (← links)
- A System for Computing and Reasoning in Algebraic Topology (Q5200131) (← links)
- Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507) (← links)
- Computational Science – ICCS 2005 (Q5709739) (← links)
- Rational homotopy type and computability (Q6072332) (← links)