An implementation of effective homotopy of fibrations (Q2422709)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7068643
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An implementation of effective homotopy of fibrations |
scientific article; zbMATH DE number 7068643 |
Statements
An implementation of effective homotopy of fibrations (English)
0 references
20 June 2019
0 references
constructive algebraic topology
0 references
effective homotopy
0 references
fibrations
0 references
homotopy groups
0 references
Serre exact sequence
0 references
finitely generated groups
0 references
central extensions
0 references
setoid groups
0 references
effective setoid groups
0 references
0.8322189450263977
0 references
0.8129329681396484
0 references
0.7925138473510742
0 references
0.7823367714881897
0 references
