Cited in
(8)- Computing simplicial representatives of homotopy group elements
- Polynomial-time homology for simplicial Eilenberg-MacLane spaces
- scientific article; zbMATH DE number 5976765 (Why is no real title available?)
- HAP
- Kenzo
- OpenMath
- Homotopy groups of suspended classifying spaces: an experimental approach
- A system for computing and reasoning in algebraic topology
This page was built for software: fKenzo
