Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps

We provide explicit and efficient reduction algorithms based on discrete Morse theory to simplify homology computation for a very general class of complexes. A set-valued map of top-dimensional cells between such complexes is a natural discrete approximation of an underlying (and possibly unknown) c...

Ausführliche Beschreibung