Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:Intermediate_Value_Theorem
|
| gptkbp:appliesTo |
continuous functions
closed intervals real-valued functions |
| gptkbp:field |
mathematical analysis
|
| gptkbp:namedAfter |
gptkb:Bernard_Bolzano
|
| gptkbp:publishedIn |
Rein analytischer Beweis
|
| gptkbp:state |
If a continuous function f on [a, b] satisfies f(a)·f(b) < 0, then there exists c in (a, b) such that f(c) = 0.
|
| gptkbp:usedIn |
root-finding algorithms
proofs of existence |
| gptkbp:yearProposed |
1817
|
| gptkbp:bfsParent |
gptkb:Bernard_Bolzano
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bolzano's theorem
|