25 citations · 39 across the 9 of their papers we have counts for
10 papers
Computing the homology of universal covers via effective homology and discrete vector fields
Miguel Angel Marco-Buzunariz, Ana Romero
Effective homology techniques allow us to compute homology groups of a wide family of topological spaces. By the Whitehead tower method, this can also be used to compute higher hom…
Computing higher Leray-Serre spectral sequences of towers of fibrations
Andrea Guidolin, Ana Romero
The higher Leray-Serre spectral sequence associated with a tower of fibrations represents a generalization of the classical Leray-Serre spectral sequence of a fibration. In this wo…
SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons
Gadea Mata, Jónathan Heras, Miguel Morales +2
The quantification of synapses is instrumental to measure the evolution of synaptic densities of neurons under the effect of some physiological conditions, neuronal diseases or eve…
Effective persistent homology of digital images
Ana Romero, Julio Rubio, Francis Sergeraert
In this paper, three Computational Topology methods (namely effective homology, persistent homology and discrete vector fields) are mixed together to produce algorithms for homolog…
Defining and computing persistent Z-homology in the general case
Ana Romero, Jónathan Heras, Julio Rubio +1
By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persi…
Verifying a platform for digital imaging: a multi-tool strategy
Jónathan Heras, Gadea Mata, Ana Romero +2
Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. In particular, in our research - made together with a biologists team…
Computing the homology of groups: the geometric way
Ana Romero, Julio Rubio
In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by m…
Discrete Vector Fields and Fundamental Algebraic Topology
Ana Romero, Francis Sergeraert
We show in this text how the most important homology equivalences of fundamental Algebraic Topology can be obtained as reductions associated to discrete vector fields. Mainly the h…
Integrating multiple sources to answer questions in Algebraic Topology
Jonathan Heras, Vico Pascual, Ana Romero +1
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the…
Computing spectral sequences
A. Romero, J. Rubio, F. Sergeraert
In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the u…