Comments on: Exact numeric integration http://conal.net/blog/posts/exact-numeric-integration Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 By: Conal Elliott » Blog Archive » Nonstrict memoization http://conal.net/blog/posts/exact-numeric-integration#comment-516 Sun, 18 Jul 2010 16:41:34 +0000 http://conal.net/blog/?p=92#comment-516 […] restricted and more efficient alternative to the fully general least upper bound. The technique in Exact numeric integration also used this restricted […]

]]> By: Yrogirg http://conal.net/blog/posts/exact-numeric-integration#comment-515 Sun, 14 Mar 2010 15:25:56 +0000 http://conal.net/blog/?p=92#comment-515 I think the described method is similar to one in this article:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.395&rep=rep1&type=pdf

“Lazy functional algorithms for exact real functionals”

by Alex K Simpson 1998

]]> By: Martijn van Steenbergen http://conal.net/blog/posts/exact-numeric-integration#comment-514 Wed, 13 Jan 2010 13:51:59 +0000 http://conal.net/blog/?p=92#comment-514 Is the ~ in Stream’s Functor instance necessary? Wouldn’t it already be sufficiently lazy without the ~?

]]> By: Conal http://conal.net/blog/posts/exact-numeric-integration#comment-513 Sun, 03 Jan 2010 00:48:25 +0000 http://conal.net/blog/?p=92#comment-513 Heinrich Apfelmus gave a quick & dirty implementation in the Haskell reddit page for this post. Thanks, Heinrich!

]]>