Cited in
(73)- A primer on computational group homology and cohomology
- The homology of \(SL_2(\mathbb Z[1/m])\) for small \(m\).
- Spin structures on flat manifolds
- Resolutions for unit groups of orders
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- The Farrell-Tate and Bredon homology for \(\operatorname{PSL}_4(\mathbb{Z})\) via cell subdivisions
- Bogomolov multipliers of groups of order 128
- Norm one tori and Hasse norm principle. II: Degree 12 case
- On Farrell-Tate cohomology of \(\operatorname{GL}_3\) over rings of quadratic integers
- Computing the homology of groups: the geometric way.
- Computational homotopy of finite regular CW-spaces
- Homological models for semidirect products of finitely generated Abelian groups.
- Computational homology of \(n\)-types
- Computing fundamental groups from point clouds
- On the integral homology of \(\text{PSL}_4(\mathbb Z)\) and other arithmetic groups
- An invitation to computational homotopy
- A system for computing and reasoning in algebraic topology
- Topological methods in data analysis and visualization IV. Theory, algorithms, and applications. Selected papers based on the presentations at the TopoInVis workshop, Annweiler, Germany, 2015
- GAP
- IBM Scratchpad
- fKenzo
- CARAT
- MAGNUS
- Kenzo
- FriCAS
- CLIPS
- happrime
- RedHom
- XMod
- CrystGAP
- Halfedge Data Structures
- CrystCat
- happermutahedral
- Coclass
- XGAP
- Carat
- OpenMath
- Crime
- HAPcryst
- MOAB
- HadamardSearch
- XModAlg
- ADAPT
- KnotProt
- MScomplex
- Polyhedral
- SymbCompCC
- IO
- Computing 3-dimensional groups: crossed squares and \(\mathrm{cat}^2\)-groups
- Rationality Problem for Algebraic Tori
- Degree three unramified cohomology groups and Noether's problem for groups of order 243
- Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.
- Computing modular data for pointed fusion categories
- Geometric algorithms for resolutions for Bieberbach groups.
- Some properties of certain subgroups of tensor squares of \(p\)-groups.
- Finite \(p\)-groups having Schur multiplier of maximum order
- Multiplicative Invariant Fields of Dimension ≤6
- Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
- The exterior degree of a pair of finite groups.
- Homotopy groups of suspended classifying spaces: an experimental approach
- An algebraic study of the Klein bottle
- Computing Bredon homology of groups
- The third Milgram-Priddy class lifts
- On the Schur multiplier of finite \(p\)-groups of maximal class
- Wythoff polytopes and low-dimensional homology of Mathieu groups.
- Integrating Multiple Sources to Answer Questions in Algebraic Topology
- Cohomological periodicities of crystallographic groups.
- Characterization of finite \(p\)-groups by their Schur multiplier
- Erratum to: ``A higher Frobenius-Schur indicator formula for group-theoretical fusion categories
- Isoclinism of crossed modules
- The cubical cohomology ring: an algorithmic approach
- On \(\mathrm\text{ Ш}\)-rigidity of groups of order \(p^6\).
- scientific article; zbMATH DE number 5380268 (Why is no real title available?)
This page was built for software: HAP
