Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm | Publicación