Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Urs had earlier started mean value theorem with just a link to Wikipedia. I have now added content. Constructive versions to come, hopefully; for now, see this forum post.
Thanks! nice.
Stolzenberg and Bridger argue that in most cases the law of bounded change suffices, and is actually more natural. Together with Coquand, we showed that this can be used, for instance, to prove Simpson’s rule. For this we use divided differences.
I see that I am repeating myself (from that nforum discussion). Sorry.
No problem. So far, I have only read the first page of that paper. But I have a Jstor password somewhere …
1 to 5 of 5