| Publication | Date of Publication | Type |
|---|
Computing the homology of universal covers via effective homology and discrete vector fields
Journal of Symbolic Computation | 2024-12-09 | Paper |
Effective homology of universal covers
ACM Communications in Computer Algebra | 2024-05-13 | Paper |
| Dataset for varroa mite detection on sticky boards | 2023-11-30 | Dataset |
A new method to h-regularize finite topological spaces
Discrete Mathematics | 2023-10-04 | Paper |
A Kenzo interface for algebraic topology computations in SageMath
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Effective homological computations on finite topological spaces
Applicable Algebra in Engineering, Communication and Computing | 2023-01-31 | Paper |
Constructing new spectral systems from simplicial fibrations
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
A new Kenzo module for computing the Eilenberg-Moore spectral sequence
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
Journal of Symbolic Computation | 2022-07-18 | Paper |
Computing higher Leray-Serre spectral sequences of towers of fibrations
Foundations of Computational Mathematics | 2021-09-30 | Paper |
Computing invariants for multipersistence via spectral systems and effective homology
Journal of Symbolic Computation | 2021-02-18 | Paper |
Computing multipersistence by means of spectral systems
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Effective computation of generalized spectral sequences
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
An implementation of effective homotopy of fibrations
Journal of Symbolic Computation | 2019-06-20 | Paper |
A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
Foundations of Computational Mathematics | 2017-12-01 | Paper |
| scientific article; zbMATH DE number 6720737 (Why is no real title available?) | 2017-05-18 | Paper |
Programming before theorizing: a case study
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
A combinatorial tool for computing the effective homotopy of iterated loop spaces
Discrete & Computational Geometry | 2015-02-19 | Paper |
Homotopy groups of suspended classifying spaces: an experimental approach
Mathematics of Computation | 2013-08-06 | Paper |
Effective homotopy of fibrations
Applicable Algebra in Engineering, Communication and Computing | 2012-10-11 | Paper |
Computing the homology of groups: the geometric way.
Journal of Symbolic Computation | 2012-05-23 | Paper |
Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
| Spectral sequences: uses, problems and computations | 2011-01-03 | Paper |
Integrating Multiple Sources to Answer Questions in Algebraic Topology
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Computing the first stages of the Bousfield-Kan spectral sequence
Applicable Algebra in Engineering, Communication and Computing | 2010-05-07 | Paper |
| scientific article; zbMATH DE number 5635461 (Why is no real title available?) | 2009-11-18 | Paper |
Computing spectral sequences
Journal of Symbolic Computation | 2007-10-23 | Paper |
Computational Science – ICCS 2005
Lecture Notes in Computer Science | 2005-11-30 | Paper |
