HAP

swMATH4870MaRDI QIDQ17025FDOQ17025

Author name not available (Why is that?)

Official website: http://hamilton.nuigalway.ie/Hap/www/index.html

Described by source

• Homological algebra programming.

Cited In (70)

• A primer on computational group homology and cohomology
• Spin structures on flat manifolds
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• The homology of \(SL_2(\mathbb Z[1/m])\) for small \(m\).
• Resolutions for unit groups of orders
• Bogomolov multipliers of groups of order 128
• The Farrell-Tate and Bredon homology for \(\operatorname{PSL}_4(\mathbb{Z})\) via cell subdivisions
• 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
• 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
• GAP
• IBM Scratchpad
• Kenzo
• FriCAS
• CLIPS
• happrime
• RedHom
• XMod
• CrystGAP
• Halfedge Data Structures
• CrystCat
• happermutahedral
• Coclass
• XGAP
• Carat
• OpenMath
• Crime
• HAPcryst
• MOAB
• Computing modular data for pointed fusion categories
• Some properties of certain subgroups of tensor squares of \(p\)-groups.
• Geometric algorithms for resolutions for Bieberbach groups.
• Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.
• HadamardSearch
• XModAlg
• ADAPT
• KnotProt
• MScomplex
• Polyhedral
• SymbCompCC
• IO
• 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
• Homotopy groups of suspended classifying spaces: an experimental approach
• The exterior degree of a pair of finite groups.
• 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
• Integrating Multiple Sources to Answer Questions in Algebraic Topology
• Wythoff polytopes and low-dimensional homology of Mathieu groups.
• Cohomological periodicities of crystallographic groups.
• Isoclinism of crossed modules
• Characterization of finite \(p\)-groups by their Schur multiplier
• Erratum to: ``A higher Frobenius-Schur indicator formula for group-theoretical fusion categories
• On \(\mathrm\text{ Ш}\)-rigidity of groups of order \(p^6\).
• The cubical cohomology ring: an algorithmic approach
• Title not available (Why is that?)

This page was built for software: HAP