fKenzo

swMATH1156MaRDI QIDQ13898FDOQ13898

Author name not available (Why is that?)

Official website: http://www.unirioja.es/cu/joheras/fKenzo/

Described by source

• fKenzo: a user interface for computations in algebraic topology

Cited In (8)

• Computing simplicial representatives of homotopy group elements
• Polynomial-time homology for simplicial Eilenberg-MacLane spaces
• A system for computing and reasoning in algebraic topology
• HAP
• Kenzo
• OpenMath
• Title not available (Why is that?)
• Homotopy groups of suspended classifying spaces: an experimental approach

This page was built for software: fKenzo