Programming before theorizing, a case study
- Romero, A. 1
- Sergeraert, F. 2
-
1
Universidad de La Rioja
info
-
2
Joseph Fourier University
info
ISBN: 9781450312691
Año de publicación: 2012
Páginas: 289-296
Tipo: Capítulo de Libro
beta Ver similares en nube de resultadosProyectos relacionados
Resumen
This paper relates how a "simple" result in combinatorial homotopy eventually led to a totally new understanding of basic theorems in Algebraic Topology, namely the Eilenberg- Zilber theorem, the twisted Eilenberg-Zilber theorem, and finally the Eilenberg-MacLane correspondance between the Classifying Space and Bar constructions. In the last case, it was an amazing lucky consequence of computations based on conjectures not yet proved. The key new tool used in this context is Robin Forman's Discrete Vector Fields theory. Copyright 2012 ACM.