All Questions
1 question
7
votes
2
answers
372
views
Rigorous numerics for maxima and minima (one variable)
Let $f:\mathbb{R}_0^+\to \mathbb{R}$ be defined by some combination of the four basic operations and square roots. (The argument of square-roots is assumed is to be non-negative, and the value of ...