Abstract | ||
---|---|---|
In this paper, we present some algorithms and programs for computing generalized spectral sequences, a useful tool in Computational Algebraic Topology which provides topological information on spaces with generalized filtrations over a poset. Our programs have been implemented as a new module for the Kenzo system and solve the classical problems of spectral sequences which are differential maps and extensions. Moreover, combined with the use of effective homology and discrete vector fields, the programs make it possible to compute generalized spectral sequences of big spaces, sometimes of infinite type. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1145/3208976.3208984 | ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION |
Keywords | Field | DocType |
Symbolic Computation, Constructive Algebraic Topology, Generalized spectral sequences, Effective homology, Discrete vector fields | Discrete mathematics,Algebraic topology,Topological information,Vector field,Computer science,Symbolic computation,Spectral sequence,Partially ordered set,Computation | Conference |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrea Guidolin | 1 | 0 | 0.34 |
Ana Romero | 2 | 8 | 3.76 |