2 papers
math.AT2024
Computing the homology of universal covers via effective homology and discrete vector fields
Miguel Angel Marco-Buzunariz, Ana Romero
Effective homology techniques allow us to compute homology groups of a wide family of topological spaces. By the Whitehead tower method, this can also be used to compute higher hom…
cs.SC2006
Computing spectral sequences
A. Romero, J. Rubio, F. Sergeraert
In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the u…