Computing spectral sequences (Q2457386): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Homology and fibrations I: Coalgebras, cotensor product and its derived functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Products of Complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: «Autopsie d'un meurtre» dans l'homologie d'une algèbre de chaînes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3697897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5550390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive algebraic topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4676271 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homologie singulière des espaces fibrés. Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5530411 / rank | |||
Normal rank |
Latest revision as of 11:35, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing spectral sequences |
scientific article |
Statements
Computing spectral sequences (English)
0 references
23 October 2007
0 references
As a computational tool spectral sequences suffer from the fact that although one can compute the chain groups of the \(E^{r}\) term from the \(E^{r-1}\) terms and \(d_{r-1}\), the determination of the differential \(d_{r}\) requires additional insight. This paper uses examples to explain how the notion of an ``object with effective homology'' allows one to determine algorithmically not only the \(E^{r}\) terms of a spectral sequence but also the differentials. The paper concentrates on descriptions of illustrative examples that use the Kenzo system -- a homological algebra computation system written in LISP -- to compute examples of the Serre and Eilenberg-Moore spectral sequences.
0 references
Symbolic computation
0 references
spectral sequence
0 references
effective homology
0 references
common LISP
0 references