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
|
https://www.w3.org/2000/01/rdf-schema#label |
Bolzano's theorem
|
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 |
5
|