Computing spectral sequences (Q2457386): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Julio Jesús Rubio García / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q689452 / rank | |||
Property / author | |||
Property / author: Julio Jesús Rubio García / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jonathan P. E. Hodgson / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Kenzo / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2125582656 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: cs/0602064 / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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