Pages that link to "Item:Q3480038"
From MaRDI portal
The following pages link to A General Constructive Intermediate Value Theorem (Q3480038):
Displaying 8 items.
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- An intermediate value theorem in neighbourhood spaces (Q1086872) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Survey on generalizations of the intermediate value theorem and applications (Q2109973) (← links)
- Hereditary indecomposability and the Intermediate Value Theorem (Q2744638) (← links)
- (Q5310896) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)