fKenzo

MaRDI QIDQ13898swMATHFDO

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

Described by source

• fKenzo: a user interface for computations in algebraic topology

Cited in

(8)

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

This page was built for software: fKenzo