Ana
Romero Ibáñez
PROFESORA TITULAR DE UNIVERSIDAD
Francis
Sergeraert
Publicaciones en las que colabora con Francis Sergeraert (10)
2020
-
A new kenzo module for computing the eilenberg-moore spectral sequence
ACM Communications in Computer Algebra, Vol. 54, Núm. 2, pp. 57-60
2019
-
An implementation of effective homotopy of fibrations
Journal of Symbolic Computation, Vol. 94, pp. 149-172
2017
-
A Bousfield–Kan Algorithm for Computing the Effective Homotopy of a Space
Foundations of Computational Mathematics, Vol. 17, Núm. 5, pp. 1335-1366
2016
-
Effective homology of filtered digital images
Pattern Recognition Letters
-
Simplicial Effective Homotopy
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
2015
-
A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces
Discrete and Computational Geometry, Vol. 53, Núm. 1, pp. 1-15
2013
-
Spectral sequences for computing persistent homology of digital images
Proceedings Applications of Computer Algebra ACA 2013
2012
-
Effective homotopy of fibrations
Applicable Algebra in Engineering, Communications and Computing, Vol. 23, Núm. 1-2, pp. 85-100
-
Programming before theorizing, a case study
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 289-296
2006
-
Computing spectral sequences
Journal of Symbolic Computation, Vol. 41, Núm. 10, pp. 1059-1079