Ana Romero

Found. Comput. Math., 2021

Constructing new spectral systems from simplicial fibrations.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2021

2020

A new Kenzo module for computing the Eilenberg-Moore spectral sequence.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2020

2019

An implementation of effective homotopy of fibrations.

[BibT_eX]

[DOI]

Miguel Ángel Marco-Buzunáriz

J. Symb. Comput., 2019

A Kenzo interface for algebraic topology computations in SageMath.

[BibT_eX]

[DOI]

Julián Cuevas-Rozo

Jose Divasón

ACM Commun. Comput. Algebra, 2019

Using Krakatoa for Teaching Formal Verification of Java Programs.

[BibT_eX]

[DOI]

Jose Divasón

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Computing Multipersistence by Means of Spectral Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Experiences and new alternatives for teaching formal verification of Java programs.

[BibT_eX]

[DOI]

Jose Divasón

Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Effective Computation of Generalized Spectral Sequences.

[BibT_eX]

[DOI]

Andrea Guidolin

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space.

[BibT_eX]

[DOI]

Found. Comput. Math., 2017

2016

Effective homology of filtered digital images.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2016

SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2016

2015

Zigzag persistent homology for processing neuronal images.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2015

A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces.

[BibT_eX]

[DOI]

Discret. Comput. Geom., 2015

2014

Effective persistent homology of digital images.

[BibT_eX]

[DOI]

CoRR, 2014

Defining and computing persistent Z-homology in the general case.

[BibT_eX]

[DOI]

CoRR, 2014

Procesamiento topo-geométrico de imágenes neuronales.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Homotopy groups of suspended classifying spaces: An experimental approach.

[BibT_eX]

[DOI]

Math. Comput., 2013

Verifying a platform for digital imaging: a multi-tool strategy

[BibT_eX]

[DOI]

CoRR, 2013

Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

2012

Computing the homology of groups: The geometric way.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

Effective homotopy of fibrations.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2012

Programming before theorizing, a case study.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2010

Discrete Vector Fields and Fundamental Algebraic Topology

[BibT_eX]

[DOI]

CoRR, 2010

Computing the first stages of the Bousfield-Kan spectral sequence.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2010

Integrating Multiple Sources to Answer Questions in Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.

[BibT_eX]

[DOI]

Graham Ellis

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Homologa efectiva y sucesiones espectrales (abstract only).

[BibT_eX]

[DOI]

Ana Romero Ibáñez Ibáñez

ACM Commun. Comput. Algebra, 2008

2006

Computing spectral sequences.

[BibT_eX]

[DOI]