fKenzo

swMATH1156MaRDI QIDQ13898

No author found.

Described by source

• fKenzo: a user interface for computations in algebraic topology

Related Items (5)

Homotopy groups of suspended classifying spaces: An experimental approach ⋮ Polynomial-time homology for simplicial Eilenberg-MacLane spaces ⋮ Unnamed Item ⋮ A System for Computing and Reasoning in Algebraic Topology ⋮ Computing simplicial representatives of homotopy group elements

This page was built for software: fKenzo