Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422056 | Electronic Notes in Theoretical Computer Science | 2008 | 17 Pages |
Abstract
We develop an algorithm for exact real integration over a class of self-similar spaces and measures defined by Hutchinson. We construct the algorithm in an idealised lazy functional programming language and prove its correctness using domain theory. The work generalises an algorithm developed by Alex Simpson for exact Riemann integration over the real line. We implement the algorithm in the functional language Haskell and give some preliminary results.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics