- To: mathgroup at smc.vnet.net
- Subject: [mg112333] Re: FindRoots?
- From: Andrzej Kozlowski <akozlowski at gmail.com>
- Date: Thu, 9 Sep 2010 05:31:32 -0400 (EDT)
On 9 Sep 2010, at 09:50, Ingolf Dahl wrote: > To Andrzej Kozlowski and MathGroup, > > However, in order to implement the Semenov method and to obtain provable > results, you state that there are "certain mild conditions" that must be > fulfilled. These conditions seem to be that the program needs to obtain > explicit and valid upper bounds for the first and second derivatives. The > task to find these bounds cannot be automated in a provable way in the > general case, so one problem has effectively been replaced by another. One > could put the responsibility to solve this second problem on the user, but I > cannot see such a solution as superior. This tasks *is* automated in Mathematica. The function Interval does it for you. Andrzej Kozlowski