Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTobyBartels
• CommentTimeNov 17th 2016

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.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeNov 17th 2016

Thanks! nice.

• CommentRowNumber3.
• CommentAuthorspitters
• CommentTimeNov 17th 2016

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.

• CommentRowNumber4.
• CommentAuthorspitters
• CommentTimeNov 17th 2016

I see that I am repeating myself (from that nforum discussion). Sorry.

• CommentRowNumber5.
• CommentAuthorTobyBartels
• CommentTimeNov 21st 2016
• (edited Nov 21st 2016)

No problem. So far, I have only read the first page of that paper. But I have a Jstor password somewhere …