Jónathan Heras
University of La Rioja
fKenzo: A user interface for computations in Algebraic Topology
Journal of Symbolic Computation