Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Computational algebraic topology"
Now showing items 1-1 of 1
-
Article
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
(Oxford Academic, 2013)The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...