Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:intermediate_value_theorem_for_derivatives
|
| gptkbp:appliesTo |
gptkb:symplectic_manifolds
derivatives of real functions |
| gptkbp:category |
theorems in differential geometry
theorems in calculus |
| gptkbp:field |
gptkb:mathematics
differential geometry real analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
Darboux's theorem
|
| gptkbp:namedAfter |
gptkb:Jean_Gaston_Darboux
|
| gptkbp:publicationYear |
1875
|
| gptkbp:publishedIn |
gptkb:Comptes_Rendus_de_l'Académie_des_Sciences
|
| gptkbp:sentence |
Every derivative has the intermediate value property.
In symplectic geometry, every symplectic manifold is locally symplectomorphic to the standard symplectic space. |
| gptkbp:bfsParent |
gptkb:Gromov's_non-squeezing_theorem
|
| gptkbp:bfsLayer |
6
|