Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
smooth manifolds
|
| gptkbp:category |
complexes of vector spaces
|
| gptkbp:consistsOf |
differential forms
|
| gptkbp:differential |
exterior derivative
|
| gptkbp:field |
gptkb:topology
differential geometry |
| https://www.w3.org/2000/01/rdf-schema#label |
de Rham complex
|
| gptkbp:namedAfter |
gptkb:Georges_de_Rham
|
| gptkbp:relatedTo |
gptkb:Poincaré_lemma
gptkb:de_Rham's_theorem |
| gptkbp:structure |
chain complex
|
| gptkbp:type |
cochain complex
sequence of abelian groups |
| gptkbp:usedFor |
computing de Rham cohomology
|
| gptkbp:bfsParent |
gptkb:de_Rham–Witt_complex
|
| gptkbp:bfsLayer |
6
|